Věta o kompaktnosti je jednou ze základních vět matematické logiky a teorie modelů. Poprvé ji dokázal rakouský logik Kurt Gödel.

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Věta o kompaktnosti je jednou ze základních vět matematické logiky a teorie modelů. Poprvé ji dokázal rakouský logik Kurt Gödel.
dbpedia-owl:wikiPageID
  • 152829 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 2611 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 33 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 11230755 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • větu o kompaktnosti
  • věta o kompaktnosti
  • Věta o kompaktnosti
  • věty o kompaktnosti
dcterms:subject
rdfs:comment
  • Věta o kompaktnosti je jednou ze základních vět matematické logiky a teorie modelů. Poprvé ji dokázal rakouský logik Kurt Gödel.
rdfs:label
  • Věta o kompaktnosti
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of