1. Rozhodnutelné a nerozhodnutelné problémy
2. Nerozhodnutelnost problému zastavení
3. Riceova věta

Literatura: kapitoly 6.4., 6.5. a 7

Cvičení se nekonají (28.10. a 17.11.)