1. Nerozhodnutelnost problému zastavení
2. Metoda redukce
3. Nerozhodntutelné problémy

Literatura:

J. Hromkovič kapitola 4

Cvičení:

• algoritmicky řešitelné problémy
• rozhodnutelné a nerozhodnutelné problémy
• procvičení metódy redukce
• ukázka důkazu nerozhodnutelnosti pomocí redukce