Teorie vyčíslitelnosti: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot změnil: fr |
m robot přidal: ar, ko, nl, ru změnil: en |
||
Řádek 8: | Řádek 8: | ||
[[Kategorie:Informatika]] |
[[Kategorie:Informatika]] |
||
[[ar:نظرية الحسوبية]] |
|||
[[de:Berechenbarkeitstheorie]] |
[[de:Berechenbarkeitstheorie]] |
||
[[en:Computability theory]] |
[[en:Computability theory (computer science)]] |
||
[[es:Teoría de la computabilidad]] |
[[es:Teoría de la computabilidad]] |
||
[[fr:Calculabilité]] |
[[fr:Calculabilité]] |
||
[[ja:計算可能性理論]] |
[[ja:計算可能性理論]] |
||
[[ko:계산가능성 이론]] |
|||
[[nl:Berekenbaarheid]] |
|||
[[ru:Теория вычислимости]] |
|||
[[th:ทฤษฎีการคำนวณได้]] |
[[th:ทฤษฎีการคำนวณได้]] |
Verze z 11. 3. 2006, 18:09
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í).