Matematika
Matematika je věda zabývající se z formálního hlediska kvantitou, strukturou, prostorem a změnou. Matematika je též popisována jako disciplína, jež se zabývá vytvářením abstraktních entit a vyhledáváním zákonitých vztahů mezi nimi.
- Matematická logika
- Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou. Zabývá se zkoumáním, formalizováním a matematizováním zejména těch oblastí logiky, na jejichž základech je postavena matematika. V centru
- Borgis (jednotka)
- Jednotka borgis byla označením pro stupeň velikosti písma užívaného v typografii
- Transparent
- Transparent je propagační předmět užívaný zejména při veřejných manifestacích a demonstracích. Může se jednat o samostatnou desku s nápisem, obrázkem, fotografií apod., kterou nese za žerď jeden jediný člověk. Může se ale jednat i
- Teorie grup
- Teorie grup je matematická disciplína zabývající se studiem grup. Jde o podobor algebry. Má mnoho aplikací v celé matematice i v dalších oborech – fyzice, informatice či chemii
- Peanova aritmetika
- Peanova aritmetika (PA) je jeden z axiomatických systémů formální teorie aritmetiky. Jde o jednu z nejdůležitějších součástí matematické logiky — slouží například k důkazu slavných Gödelových vět o neúplnosti. Rozšiřuje
- Fundovaná indukce
- Fundovaná indukce je druh matematického důkazu používaný zejména v teorii množin. Je zobecněním transfinitní indukce
- Axiom silného výběru
- Axiom silného výběru je matematické tvrzení z oblasti teorie množin, které je nezávislé při všech obvyklých axiomatizacích této teorie. Často se přidává jako nový axiom, ale ve standardních axiomatizacích jakými jsou Zermelo
- Georg Alexander Pick
- Georg Alexander Pick byl rakouský matematik působící v Praze
- Extenzionální relace
- Extenzionální relace je matematický pojem z oblasti teorie množin
- První summit Evropského politického společenství
- První summit Evropského politického společenství byl mezinárodní summit, který se konal 6. října 2022 v Praze, České republice. Jednalo se o inaugurační setkání hlav států Evropské unie a sedmnácti dalších neunijních avšak