Der Begriff Vollständigkeit hat in der Logik verschiedene Bedeutungen. Er bezeichnet zwei unterschiedliche Eigenschaften formaler Systeme bzw. Kalküle: * Vollständigkeit von Theorien * Vollständigkeit von Kalkülen Daneben wird dieser Begriff auch im Sinne der * funktionalen Vollständigkeit von Junktorenmengen benutzt.

Property Value
dbo:abstract
  • Der Begriff Vollständigkeit hat in der Logik verschiedene Bedeutungen. Er bezeichnet zwei unterschiedliche Eigenschaften formaler Systeme bzw. Kalküle: * Vollständigkeit von Theorien * Vollständigkeit von Kalkülen Daneben wird dieser Begriff auch im Sinne der * funktionalen Vollständigkeit von Junktorenmengen benutzt. (de)
  • Der Begriff Vollständigkeit hat in der Logik verschiedene Bedeutungen. Er bezeichnet zwei unterschiedliche Eigenschaften formaler Systeme bzw. Kalküle: * Vollständigkeit von Theorien * Vollständigkeit von Kalkülen Daneben wird dieser Begriff auch im Sinne der * funktionalen Vollständigkeit von Junktorenmengen benutzt. (de)
dbo:author
dbo:isbn
  • 978-3-8348-0578-2
dbo:originalTitle
  • Einführung in die Mathematische Logik (de)
  • Einführung in die Mathematische Logik (de)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 216844 (xsd:integer)
dbo:wikiPageRevisionID
  • 131371658 (xsd:integer)
prop-de:auflage
  • 3 (xsd:integer)
prop-de:doi
  • 101007 (xsd:integer)
prop-de:jahr
  • 2008 (xsd:integer)
prop-de:ort
  • Wiesbaden
dc:publisher
  • Vieweg+Teubner
dct:subject
rdf:type
rdfs:comment
  • Der Begriff Vollständigkeit hat in der Logik verschiedene Bedeutungen. Er bezeichnet zwei unterschiedliche Eigenschaften formaler Systeme bzw. Kalküle: * Vollständigkeit von Theorien * Vollständigkeit von Kalkülen Daneben wird dieser Begriff auch im Sinne der * funktionalen Vollständigkeit von Junktorenmengen benutzt. (de)
  • Der Begriff Vollständigkeit hat in der Logik verschiedene Bedeutungen. Er bezeichnet zwei unterschiedliche Eigenschaften formaler Systeme bzw. Kalküle: * Vollständigkeit von Theorien * Vollständigkeit von Kalkülen Daneben wird dieser Begriff auch im Sinne der * funktionalen Vollständigkeit von Junktorenmengen benutzt. (de)
rdfs:label
  • Vollständigkeit (Logik) (de)
  • Vollständigkeit (Logik) (de)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is foaf:primaryTopic of