Na této stránce budou s předstihem specifikována témata jednotlivých cvičení, naleznete zde také materiály s úlohami k samostatnému studiu. U vybraných týdnů budou k disposici nepovinné domácí úlohy.
| Týden | Náplň | Materiály | Videa | Domácí cvičení |
|---|---|---|---|---|
| 1 | Indukce. | Matematická indukce - příklady ze cvičení. | Nejsou. | |
| 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, Videocvičení 2, Videocvičení 3 | |
| 3 | Sémantika výrokové logiky. | Sémantika výrokové logiky. Příklady k procvičení sémantiky výrokové logiky. | Splnitelnost, tautologie. ÚSS. Velká konjunkce. De Morgan. Převod do CNF. CNF z tabulky. Splnitelnost. Sémantický důsledek. Sémantický důsledek 2. | |
| 4 | Test z výrokové logiky. |