CourseWare Wiki courses:b0b01lgr:tutorials https://cw.fel.cvut.cz/b232/ 2026-04-19T06:24:46+0200 CourseWare Wiki https://cw.fel.cvut.cz/b232/ https://cw.fel.cvut.cz/b232/lib/tpl/bulma-cw/images/favicon.ico text/html 2024-06-30T02:25:19+0200 Anonymous (anonymous@undisclosed.example.com) courses:b0b01lgr:tutorials:start https://cw.fel.cvut.cz/b232/courses/b0b01lgr/tutorials/start?rev=1719707119&do=diff Cvičení Týden Náplň Materiály Videa Domácí cvičení 1 Indukce. [Matematická indukce - příklady ze cvičení.] Nejsou. Velmi podrobně dokažte matematickou indukcí první rovnost z Úlohy 2 [v tomto souboru]. [Zde je řešení domácího cvičení] (a jako bonus i řešení nerovnosti z Úlohy 2). 2 Přirozená dedukce. [Přirozená dedukce - příklady ze cvičení.] [Příklady k procvičení přirozené dedukce i s řešením.] Videocvičení z přirozené dedukce 0, Videocvičení 1,…