Cvičení

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.

Nepravidelnosti

V 8. výukovém týdnu odpadají pondělní cvičení. Důvodem je státní svátek.
V 11. výukovém týdnu odpadají čtvrteční cvičení. Důvodem je náhrada výuky, viz harmonogram.
Ve 12. výukovém týdnu odpadají úterní cvičení. Důvodem je náhrada výuky, viz harmonogram.

Časový plán

Týden	Náplň	Materiály	Videa
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.

Table of Contents

Cvičení

Nepravidelnosti

Časový plán