Týden 9¶
(instrukce k domácímu procvičování)
- Úloha 1 [B]
- Sbírka, cvičení 34. Aspoň půlku podpříkladů, ideálně všechny. (Pokud chcete zpětnou vazbu ke kompletnímu důkazu, podívejte se na bonusovou úlohu 5.)
- Úloha 2 [B]
- Sbírka, cvičení 39. Aspoň půlku podpříkladů, ideálně všechny. (Pokud chcete zpětnou vazbu ke kompletnímu důkazu, podívejte se na bonusovou úlohu 6.)
- Úloha 3 [B]
- Sbírka, cvičení 35.
- Úloha 4 [B]
- Nastudujte teorii na příští cvičení: m-redukce. (Doporučuji si navíc znova zopakovat i metodu diagonalizace a všechny tři Riceovy věty. K procvičení redukce a pochopení Riceových vět hodně doporučuji si zkusit Riceovy věty samostatně dokázat. Pokud je to pro vás těžké, pomoci může přečtení článku o intuici za Riceovou větou v Pythonu.)
- Bonus: Úloha 5 [C]
- Vyberte si jeden podpříklad z cvičení 34 a zpracujte ho formou kompletního formálního důkazu.
- Bonus: Úloha 6 [C]
- Vyberte si jeden podpříklad z cvičení 39 a zpracujte ho formou kompletního formálního důkazu.
- Bonus: Úloha 7 [A-C]
- Sbírka, cvičení 36.