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

Odebráno 30 bajtů ,  před 6 lety
oops
(→‎Zajímavé hypotézy: vono to není hypotéza)
(oops)
 
Pro teoretický popis pojmu algoritmu se využívá množství [[výpočetní model|výpočetních modelů]] – například [[Turingův stroj]], [[částečně rekurzivní funkce]], [[RAM stroj]] a [[Lambda kalkul]] (nebo [[kombinatorická logika]]).
 
== Související články ==
* [[intuicionistická logika]]
 
== Zajímavé výsledky ==
* [[Chomského hierarchie]]
* [[Gödelovy věty o neúplnosti]]
* [[intuicionistická logika]]
 
{{Pahýl}}