Hilbertovský kalkulus (také hilbertovský klasický kalkulus) je jeden z logických kalkulů, kterými se zabývá logika. Jde o kalkulus jednoznačně nejpoužívanější; je v něm formalizována celá matematika. Nazván byl po německém matematikovi Davidu Hilbertovi, který podobný kalkulus poprvé zavedl. Jiným typem logického kalkulu je například gentzenovský kalkulus.

PropertyValue
prop-cs:isbn
  • 80 (xsd:integer)
prop-cs:jméno
  • Vítězslav
prop-cs:místo
  • Praha
prop-cs:odkazNaAutora
  • Vítězslav Švejdar
prop-cs:příjmení
  • Švejdar
prop-cs:rok
  • 2002 (xsd:integer)
prop-cs:titul
  • Logika, neúplnost, složitost a nutnost
prop-cs:vydavatel
  • Academia
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Hilbertovský kalkulus (také hilbertovský klasický kalkulus) je jeden z logických kalkulů, kterými se zabývá logika. Jde o kalkulus jednoznačně nejpoužívanější; je v něm formalizována celá matematika. Nazván byl po německém matematikovi Davidu Hilbertovi, který podobný kalkulus poprvé zavedl. Jiným typem logického kalkulu je například gentzenovský kalkulus.
dbpedia-owl:wikiPageID
  • 182765 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 4256 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 29 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 14919431 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • formálních důkazů
  • hilbertovský
  • Odvozovací pravidla v Hilbertovském kalkulu
  • Hilbertovský kalkulus
  • Hilbertovský kalkulus#Důkaz v hilbertovském kalkulu
  • hilbertovsky odvozená
  • formální logiky
  • Hilbertovský kalkulus#Odvozovací pravidla
dcterms:subject
rdfs:comment
  • Hilbertovský kalkulus (také hilbertovský klasický kalkulus) je jeden z logických kalkulů, kterými se zabývá logika. Jde o kalkulus jednoznačně nejpoužívanější; je v něm formalizována celá matematika. Nazván byl po německém matematikovi Davidu Hilbertovi, který podobný kalkulus poprvé zavedl. Jiným typem logického kalkulu je například gentzenovský kalkulus.
rdfs:label
  • Hilbertovský kalkulus
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of