Teorie vyčíslitelnosti: Porovnání verzí
Smazaný obsah Přidaný obsah
Bez shrnutí editace |
m robot změnil: fr |
||
Řádek 11: | Řádek 11: | ||
[[en:Computability theory]] |
[[en:Computability theory]] |
||
[[es:Teoría de la computabilidad]] |
[[es:Teoría de la computabilidad]] |
||
[[fr:Calculabilité]] |
|||
[[fr:Théorie de la calculabilité]] |
|||
[[ja:計算可能性理論]] |
[[ja:計算可能性理論]] |
||
[[th:ทฤษฎีการคำนวณได้]] |
[[th:ทฤษฎีการคำนวณได้]] |
Verze z 14. 7. 2005, 11:14
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í).