Matematická logika

Property	Value
prop-cs:wikiPageUsesTemplate	dbpedia-cs:Šablona:Commonscat dbpedia-cs:Šablona:PSH dbpedia-cs:Šablona:Hlavní_článek
dbpedia-owl:wikiPageID	143579 (xsd:integer)
dbpedia-owl:wikiPageRevisionID	11634627 (xsd:integer)
rdf:type	skos:Concept
rdfs:label	Matematická logika
skos:broader	category-cs:Logika category-cs:Obory_a_disciplíny_matematiky
skos:prefLabel	Matematická logika
prov:wasDerivedFrom	wiki-cs:Kategorie:Matematická_logika?oldid=11634627
is dbpedia-owl:wikiPageWikiLink of	dbpedia-cs:Morleyova_věta_o_kategoričnosti dbpedia-cs:Věta_o_kompaktnosti dbpedia-cs:Úplná_teorie dbpedia-cs:Svobodova_mapa dbpedia-cs:Dialetheismus dbpedia-cs:Axiom dbpedia-cs:Gödelovy_věty_o_neúplnosti dbpedia-cs:Matematická_logika dbpedia-cs:Peanova_aritmetika dbpedia-cs:Robinsonova_aritmetika dbpedia-cs:Teorie_modelů dbpedia-cs:Jazyk_(logika) dbpedia-cs:Predikátová_logika dbpedia-cs:Presburgerova_aritmetika dbpedia-cs:Univerzální_kvantifikátor dbpedia-cs:Aritmetická_hierarchie dbpedia-cs:Nepřímý_důkaz_v_logice dbpedia-cs:Elementární_vnoření dbpedia-cs:Konsekvent dbpedia-cs:Löwenheimova–Skolemova_věta dbpedia-cs:Reifikace_(logika) dbpedia-cs:Formule_(logika) dbpedia-cs:Lindenbaumova_algebra dbpedia-cs:Formální_teorie dbpedia-cs:Hilbertovský_kalkulus dbpedia-cs:Logická_rovnice dbpedia-cs:Pravdivostní_tabulka dbpedia-cs:Paramodulace dbpedia-cs:Boolean dbpedia-cs:Disjunkce dbpedia-cs:Entscheidungsproblem dbpedia-cs:Fuzzy_logika dbpedia-cs:Fuzzy_množina dbpedia-cs:Karnaughova_mapa dbpedia-cs:Kvantifikátor dbpedia-cs:Modální_logika dbpedia-cs:Temporální_logika dbpedia-cs:Volná_logika dbpedia-cs:Výroková_logika dbpedia-cs:Existenční_kvantifikátor dbpedia-cs:Generalizace dbpedia-cs:Logická_funkce dbpedia-cs:Modus_ponens dbpedia-cs:Predikátová_logika_prvního_řádu dbpedia-cs:Bezesporná_teorie dbpedia-cs:Gödelova_věta_o_úplnosti_predikátové_logiky dbpedia-cs:Hilbertův_program dbpedia-cs:Model_(logika) dbpedia-cs:Rozhodnutelnost dbpedia-cs:Lineární_logika dbpedia-cs:Induktivní_logické_programování dbpedia-cs:Tabulka_pravdivostních_hodnot_základních_složených_výroků dbpedia-cs:Rezoluce_(logika) dbpedia-cs:Nezávislé_tvrzení dbpedia-cs:Henkinův_model
is dcterms:subject of	dbpedia-cs:Morleyova_věta_o_kategoričnosti dbpedia-cs:Věta_o_kompaktnosti dbpedia-cs:Úplná_teorie dbpedia-cs:Svobodova_mapa dbpedia-cs:Dialetheismus dbpedia-cs:Axiom dbpedia-cs:Gödelovy_věty_o_neúplnosti dbpedia-cs:Matematická_logika dbpedia-cs:Peanova_aritmetika dbpedia-cs:Robinsonova_aritmetika dbpedia-cs:Teorie_modelů dbpedia-cs:Jazyk_(logika) dbpedia-cs:Predikátová_logika dbpedia-cs:Presburgerova_aritmetika dbpedia-cs:Univerzální_kvantifikátor dbpedia-cs:Aritmetická_hierarchie dbpedia-cs:Nepřímý_důkaz_v_logice dbpedia-cs:Elementární_vnoření dbpedia-cs:Konsekvent dbpedia-cs:Löwenheimova–Skolemova_věta dbpedia-cs:Reifikace_(logika) dbpedia-cs:Formule_(logika) dbpedia-cs:Lindenbaumova_algebra dbpedia-cs:Formální_teorie dbpedia-cs:Hilbertovský_kalkulus dbpedia-cs:Logická_rovnice dbpedia-cs:Pravdivostní_tabulka dbpedia-cs:Paramodulace dbpedia-cs:Boolean dbpedia-cs:Disjunkce dbpedia-cs:Entscheidungsproblem dbpedia-cs:Fuzzy_logika dbpedia-cs:Fuzzy_množina dbpedia-cs:Karnaughova_mapa dbpedia-cs:Kvantifikátor dbpedia-cs:Modální_logika dbpedia-cs:Temporální_logika dbpedia-cs:Volná_logika dbpedia-cs:Výroková_logika dbpedia-cs:Existenční_kvantifikátor dbpedia-cs:Generalizace dbpedia-cs:Logická_funkce dbpedia-cs:Modus_ponens dbpedia-cs:Predikátová_logika_prvního_řádu dbpedia-cs:Bezesporná_teorie dbpedia-cs:Gödelova_věta_o_úplnosti_predikátové_logiky dbpedia-cs:Hilbertův_program dbpedia-cs:Model_(logika) dbpedia-cs:Rozhodnutelnost dbpedia-cs:Lineární_logika dbpedia-cs:Induktivní_logické_programování dbpedia-cs:Tabulka_pravdivostních_hodnot_základních_složených_výroků dbpedia-cs:Rezoluce_(logika) dbpedia-cs:Nezávislé_tvrzení dbpedia-cs:Henkinův_model
is skos:broader of	category-cs:Formální_jazyky category-cs:Matematičtí_logici category-cs:Rekurze category-cs:Vyčíslitelnost category-cs:Teorie_typů

About: Matematická logika