Teorie vyčíslitelnosti: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: fa:نظریه محاسبهپذیری změnil: ko:계산 가능성 이론 |
m přesnější kategorizace; "zajímavé výsledky" je potřeba nahradit něčím smysluplnějším |
||
Řádek 6: | Řádek 6: | ||
{{Pahýl}} |
{{Pahýl}} |
||
[[Kategorie: |
[[Kategorie:Vyčíslitelnost]] |
||
[[ar:نظرية الحسوبية]] |
[[ar:نظرية الحسوبية]] |
Verze z 31. 5. 2006, 16:18
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í).