Teorie vyčíslitelnosti: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: it:Teoria della calcolabilità, pl:Teoria obliczalności |
m robot přidal: fa:نظریه محاسبهپذیری změnil: ko:계산 가능성 이론 |
||
Řádek 12: | Řádek 12: | ||
[[en:Computability theory (computer science)]] |
[[en:Computability theory (computer science)]] |
||
[[es:Teoría de la computabilidad]] |
[[es:Teoría de la computabilidad]] |
||
[[fa:نظریه محاسبهپذیری]] |
|||
[[fr:Calculabilité]] |
[[fr:Calculabilité]] |
||
[[it:Teoria della calcolabilità]] |
[[it:Teoria della calcolabilità]] |
||
[[ja:計算可能性理論]] |
[[ja:計算可能性理論]] |
||
[[ko: |
[[ko:계산 가능성 이론]] |
||
[[nl:Berekenbaarheid]] |
[[nl:Berekenbaarheid]] |
||
[[pl:Teoria obliczalności]] |
[[pl:Teoria obliczalności]] |
Verze z 29. 4. 2006, 09:15
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í).