Teorie vyčíslitelnosti: Porovnání verzí
Smazaný obsah Přidaný obsah
m repahýl |
|||
Řádek 5:
*Nelze zkonstruovat algoritmus, který by pro obecný [[počítačový program|program]] ověřil jeho konečnost (tzv. [[problém zastavení]]).
{{Matematický pahýl}}
[[Kategorie:Vyčíslitelnost]]
|