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 jejího zájmu jsou pojmy jako důkaz, teorie, axiomatizace, model, bezespornost, úplnost, rozhodnutelnost.

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • 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 jejího zájmu jsou pojmy jako důkaz, teorie, axiomatizace, model, bezespornost, úplnost, rozhodnutelnost.
dbpedia-owl:wikiPageID
  • 143578 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 2304 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 35 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 15401299 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Matematická logika
  • logické
  • logických
  • matematické
  • matematické logice
  • matematické logiky
  • logice
  • matematická logika
  • matematickou logikou
  • matematickologická
  • matematickologické
  • matematickou logiku
  • matematicko-logické
  • formální logiky
dcterms:subject
rdfs:comment
  • 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 jejího zájmu jsou pojmy jako důkaz, teorie, axiomatizace, model, bezespornost, úplnost, rozhodnutelnost.
rdfs:label
  • Matematická logika
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of