pitel:msz:nerozhodnutelnost
Nerozhodnutelnost
(problém zastavení TS, princip diagonalizace a redukce, Postův korespondenční problém).
FitWiki
/var/www/wiki/data/pages/pitel/msz/nerozhodnutelnost.txt · Poslední úprava: 30. 12. 2022, 13.43:01 autor: 127.0.0.1