23 vztahy: Axiom, Axiom výběru, Filtr (matematika), Formální teorie, Formule (logika), Gödelova věta o úplnosti predikátové logiky, Jazyk (logika), Kompaktní množina, Kurt Gödel, Löwenheimova-Skolemova věta, Logika, Matematická logika, Množina, Model (logika), Přirozené číslo, Podmnožina, Predikátová logika prvního řádu, Rakousko, Teorie modelů, Tichonovova věta, Topologický prostor, Transfinitní indukce, Výroková logika.
Axiom
Axiom (z řec. axióma, to co se uznává) je tvrzení, které se předem pokládá za platné, a tudíž se nedokazuje.
Nový!!: Věta o kompaktnosti a Axiom · Vidět víc »
Axiom výběru
Axiom výběru (ozn. AC z angl. axiom of choice) je axiom často přidávaný k obvyklým axiomům Zermelovy–Fraenkelovy teorie množin (ZF).
Nový!!: Věta o kompaktnosti a Axiom výběru · Vidět víc »
Filtr (matematika)
Pojem filtr je v matematice, konkrétně v teorii uspořádání používán pro podmnožiny uspořádaných množin, jejichž prvky lze v jistém smyslu považovat za „velké“ podle daného uspořádání.
Nový!!: Věta o kompaktnosti a Filtr (matematika) · Vidět víc »
Formální teorie
Formální teorie je jeden z nejdůležitějších pojmů matematickologické syntaxe.
Nový!!: Věta o kompaktnosti a Formální teorie · Vidět víc »
Formule (logika)
Formule (také predikátová formule, srov. výroková formule) je v matematice a logice syntaktický pojem reprezentující nějaké (matematické) tvrzení v jisté formální teorii predikátové logiky prvního řádu.
Nový!!: Věta o kompaktnosti a Formule (logika) · Vidět víc »
Gödelova věta o úplnosti predikátové logiky
Gödelova věta o úplnosti predikátové logiky (také jen Gödelova věta o úplnosti či věta o úplnosti) je základní větou matematické logiky.
Nový!!: Věta o kompaktnosti a Gödelova věta o úplnosti predikátové logiky · Vidět víc »
Jazyk (logika)
V matematické logice se pod pojmem jazyk rozumí pevně zvolená množina symbolů, pomocí nichž se vytvářejí formule.
Nový!!: Věta o kompaktnosti a Jazyk (logika) · Vidět víc »
Kompaktní množina
Kompaktní množina, nebo také kompaktní prostor, je taková množina bodů topologického prostoru, že z každého jejího pokrytí otevřenými množinami lze vybrat pokrytí konečné.
Nový!!: Věta o kompaktnosti a Kompaktní množina · Vidět víc »
Kurt Gödel
Kurt Friedrich Gödel (28. dubna 1906 Brno – 14. ledna 1978 Princeton, New Jersey) byl rakousko-americký matematik, který se stal jedním z nejvýznamnějších logiků všech dob.
Nový!!: Věta o kompaktnosti a Kurt Gödel · Vidět víc »
Löwenheimova-Skolemova věta
#PŘESMĚRUJ Löwenheimova–Skolemova věta.
Nový!!: Věta o kompaktnosti a Löwenheimova-Skolemova věta · Vidět víc »
Logika
Logika má více významů – v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům.
Nový!!: Věta o kompaktnosti a Logika · Vidět víc »
Matematická logika
Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou.
Nový!!: Věta o kompaktnosti a Matematická logika · Vidět víc »
Množina
Množiny Množina je soubor objektů, chápaný jako celek.
Nový!!: Věta o kompaktnosti a Množina · Vidět víc »
Model (logika)
Model (také struktura) je matematický pojem z oblasti matematickologické sémantiky.
Nový!!: Věta o kompaktnosti a Model (logika) · Vidět víc »
Přirozené číslo
Přirozeným číslem se v matematice rozumí číslo, které je možné použít pro vyjádření počtu („na stole je šest mincí“) nebo pořadí („toto je třetí největší město“) prvků konečných množin.
Nový!!: Věta o kompaktnosti a Přirozené číslo · Vidět víc »
Podmnožina
B je podmnožina A, A je nadmnožina B V matematice se jako podmnožina množiny A označuje taková množina B, o jejíchž všech prvcích platí, že jsou zároveň i prvky množiny A. Obdobně se může množina A označit jako nadmnožina množiny B. Tato fakta značíme B \subseteq A, případně A \supseteq B. Relace „být podmnožinou“ se nazývá také inkluze.
Nový!!: Věta o kompaktnosti a Podmnožina · Vidět víc »
Predikátová logika prvního řádu
Predikátová logika prvního řádu je formální systém používaný v matematice, filozofii, lingvistice a informatice.
Nový!!: Věta o kompaktnosti a Predikátová logika prvního řádu · Vidět víc »
Rakousko
Rakousko, plným názvem Rakouská republika, je vnitrozemský stát ve střední Evropě, ležící ve východních Alpách.
Nový!!: Věta o kompaktnosti a Rakousko · Vidět víc »
Teorie modelů
Teorie modelů je matematická disciplína, která je jedním z podoborů matematické logiky.
Nový!!: Věta o kompaktnosti a Teorie modelů · Vidět víc »
Tichonovova věta
Tichonovova věta je matematické tvrzení z oblasti topologie.
Nový!!: Věta o kompaktnosti a Tichonovova věta · Vidět víc »
Topologický prostor
Topologický prostor je matematická struktura, která formalizuje pojem tvar.
Nový!!: Věta o kompaktnosti a Topologický prostor · Vidět víc »
Transfinitní indukce
Spirála znázorňující všechna ordinální čísla menší než ωω. Transfinitní indukce je postup důkazu používaný v teorii množin obdobný jako klasická matematická indukce, ale rozšířený z přirozených čísel na ordinální čísla.
Nový!!: Věta o kompaktnosti a Transfinitní indukce · Vidět víc »
Výroková logika
V matematice a logice se pojmem výroková logika označuje formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné (na rozdíl od predikátové logiky).
Nový!!: Věta o kompaktnosti a Výroková logika · Vidět víc »