This website uses cookies
OK
Back to old DBpedia
@ {{localgraph}}
{{names.nativeName}}
{{names.nativeName}}
{{notification.text}}
TAKE A TOUR
About:
Matematická logika
An Entity of Type :
Concept
, from Named Graph :
http://cs.dbpedia.org
, within Data Space :
cs.dbpedia.org
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ů