Teorie vyčíslitelnosti: Porovnání verzí

Skočit na navigaci Skočit na vyhledávání
Přidáno 23 bajtů ,  před 15 lety
m
m (přesnější kategorizace; "zajímavé výsledky" je potřeba nahradit něčím smysluplnějším)
Zajímavé výsledky:
*Nelze zkonstruovat algoritmus, který by pro obecný [[počítačový program|program]] ověřil jeho konečnost (tzv. [[problém zastavení]]).
 
{{Pahýl}}
414

editací

Navigační menu