Teorie vyčíslitelnosti je vědní obor na pomezí matematiky a informatiky, který zkoumá otázky algoritmické řešitelnosti problémů. Vytváří teoretický základ a zkoumá možnosti a hranice využití algoritmicky pracujících postupů, což se v praxi uplatňuje především na počítačové programy. Pod pojmem algoritmu se běžně rozumí mechanizovaný postup, který lze realizovat třeba na Turingově stroji.

PropertyValue
prop-cs:isbn
  • 321514483 (xsd:integer)
  • 619217642 (xsd:integer)
prop-cs:jméno
  • Michael
  • John
prop-cs:početStran
  • 400 (xsd:integer)
prop-cs:příjmení
  • Hopcroft
  • Sipser
prop-cs:rok
  • 2005 (xsd:integer)
  • 2007 (xsd:integer)
prop-cs:titul
  • Introduction to the Theory of Computation
  • Introduction to Automata Theory, Languages, and Computation
prop-cs:vydavatel
  • Cengage Learning
  • Pearson Education
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Teorie vyčíslitelnosti je vědní obor na pomezí matematiky a informatiky, který zkoumá otázky algoritmické řešitelnosti problémů. Vytváří teoretický základ a zkoumá možnosti a hranice využití algoritmicky pracujících postupů, což se v praxi uplatňuje především na počítačové programy. Pod pojmem algoritmu se běžně rozumí mechanizovaný postup, který lze realizovat třeba na Turingově stroji. Významnou roli ve filozofickém podložení teorie vyčíslitelnosti hraje Church-Turingova teze, podle níž jsou všechny „rozumné“ výpočetní modely ekvivalentní Turingově stroji.Pro teoretický popis pojmu algoritmu se využívá množství výpočetních modelů – například Turingův stroj, částečně rekurzivní funkce, RAM stroj a Lambda kalkul (nebo kombinatorická logika).
dbpedia-owl:wikiPageID
  • 6427 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1854 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 22 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 15390206 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • teorii vyčíslitelnosti
  • teorií vyčíslitelnosti
  • Teorie vyčíslitelnosti
  • teorie vyčíslitelnosti
  • teorii systémů
  • teorií rekurze
dcterms:subject
rdfs:comment
  • Teorie vyčíslitelnosti je vědní obor na pomezí matematiky a informatiky, který zkoumá otázky algoritmické řešitelnosti problémů. Vytváří teoretický základ a zkoumá možnosti a hranice využití algoritmicky pracujících postupů, což se v praxi uplatňuje především na počítačové programy. Pod pojmem algoritmu se běžně rozumí mechanizovaný postup, který lze realizovat třeba na Turingově stroji.
rdfs:label
  • Teorie vyčíslitelnosti
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of