Týden 7¶

(instrukce k domácímu procvičování)

Úloha 1 [A-B]

Sbírka, cvičení 21.

Úloha 2 [B]

Sbírka, cvičení 22. Tenhle příklad jsme na cviku nedělali, ale je fakt hodně jednoduchý.

Úloha 3 [B-C]

Sbírka, cvičení 23. Aspoň u podúlohy 3 si sepište podrobný formální důkaz, ostatní stačí stručně.

Úloha 4 [B-C]

Sbírka, cvičení 28.

Úloha 5 [B]

Nastudujte teorii na příští cvičení: uzávěrové vlastnosti rekurzivních a rekurzivně spočetných množin.

Úloha 6 [B-C]

Zamyslete se nad úlohou 29 a zkuste ji vyřešit (především pochopte zadání a napište hlavní myšlenku řešení).

Bonus: Úloha 7 [A] (Dotazník)

Frustrují vás nedostatečně vysvětlené, náročné úlohy, nebo naopak moc pomalé tempo na cvikách, nebo snad nějaké podivné a nevysvětlitelné chování cvičícího? Ještě je čas to zachránit! Poskytněte mi prosím zpětnou vazbu skrze tento dotazník. Díky!

Bonus: Úloha 8 [A-C]

Sbírka, cvičení 30 (procvičení diagonalizace, podobné úlohy už jsme na cvičeních řešili) a pro pokročilé (nebo ve skupince), případně i o dost náročnější navazující cvičení 31.