Teorie vyčíslitelnosti: Porovnání verzí

Přidáno 701 bajtů ,  před 13 lety
doplnění částečně dle sebe, částečně sloučením s Vyčíslitelnost
(doplnění částečně dle sebe, částečně sloučením s Vyčíslitelnost)
'''Teorie vyčíslitelnosti''' je [[věda|vědní]] obor na pomezí [[matematika|matematiky]] a [[informatika|informatiky]], který zkoumá otázky [[algoritmus|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ý program|počítačové programy]]. Pod pojmem algoritmu se běžně rozumí mechanizovaný postup, který se dá realizovat třeba na [[Turingův stroj|Turingově stroji]]. Významnou roli ve [[filozofie|filozofickém]] podložení teorie vyčíslitelnosti hraje [[Church-Turingova teze]], podle níž jsou všechy „rozumné“ výpočetní modely ekvivalentní Turingově stroji.
'''Teorie vyčíslitelnosti''' zkoumá hranice [[algoritmus|algoritmické]] konstrukce [[množina|množin]].
 
Pro modelováníteoretický popis pojmu algoritmu využívá množství různých pojmů – například [[Turingův stroj]], [[částečně rekurzivní funkce]] a [[intuicionistická logika|intuicionistickou logiku]].
== Zajímavé výsledky ==
 
{{Matematický pahýl}}
 
[[Kategorie:Vyčíslitelnost]]
 
3 556

editací