Týden 4¶
(instrukce k domácímu procvičování)
- Úloha 1 [B]
- Sbírka, cvičení 11.
- Úloha 2 [B]
- Sbírka, cvičení 12.
- Úloha 3 [B]
- Sbírka, cvičení 13.
- Úloha 4 [B]
- Sbírka, cvičení 14.
- Úloha 5 [B]
- Nastudujte teorii z učebnice: věta o numeraci, věta o parametrizaci. Připomeňte si metodu diagonalizace (např. důkazem věty o nespočetnosti všech podmnožin přirozených čísel nebo důkazem věty o nerozhodnutelnosti problému zastavení).
- Úloha 6 [C]
- Vyřešte úlohu 16 ze sbírky - zkuste tvrzení ukázat jak s použitím věty o parametrizaci, tak bez ní. Pokud si nevíte rady, inspirujte se důkazem lemmatu 4.21 v učebnici.
- Bonus: Úloha 7 [A-C]
- Aktivně si projděte článek o numeraci a parametrizaci v Pythonu.