Teorie vyčíslitelnosti: Porovnání verzí
Smazaný obsah Přidaný obsah
→Zajímavé hypotézy: vono to není hypotéza |
oops |
||
Řádek 2:
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]]).
* [[intuicionistická logika]]▼
== Zajímavé výsledky ==
Řádek 19 ⟶ 16:
* [[Chomského hierarchie]]
* [[Gödelovy věty o neúplnosti]]
▲* [[intuicionistická logika]]
{{Pahýl}}
| |||