Uživatelské nástroje

Nástroje pro tento web


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: autor: 127.0.0.1