Teorie vyčíslitelnosti: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: ar, ko, nl, ru změnil: en |
m robot přidal: simple |
||
Řádek 17: | Řádek 17: | ||
[[nl:Berekenbaarheid]] |
[[nl:Berekenbaarheid]] |
||
[[ru:Теория вычислимости]] |
[[ru:Теория вычислимости]] |
||
[[simple:Computability theory]] |
|||
[[th:ทฤษฎีการคำนวณได้]] |
[[th:ทฤษฎีการคำนวณได้]] |
Verze z 18. 3. 2006, 16:42
Teorie vyčíslitelnosti zkoumá hranice algoritmické konstrukce množin. Pro modelování využívá například Turingův stroj a intuicionistickou logiku.
Zajímavé výsledky:
- Nelze zkonstruovat algoritmus, který by pro obecný program ověřil jeho konečnost (tzv. problém zastavení).