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

Skočit na navigaci Skočit na vyhledávání
m
typo
m (sjednocení pahýlů na jednotnou šablonu {{Pahýl}} dle Wikipedie:Žádost o komentář/Šablony pahýlů)
m (typo)
'''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šechyvšechny „rozumné“ výpočetní modely ekvivalentní Turingově stroji.
 
Pro 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]].

Navigační menu