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	Domácí cvičení
1	Indukce.	Matematická indukce - příklady ze cvičení.	Nejsou.	Promyslete, co by mohl znamenat pojem podformule formule φ, a pokuste se tento pojem definovat.
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	Sestrojte důkaz a ∨ b, b ⇒ (¬ c ∨ e), a ⇒ (¬c ∨ d) ⊢ c ⇒ (e ∨ d). Sestrojte důkaz ⊢ ((a ⇒ b) ⇒ a) ⇒ a.
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.	Zpracujte si doma ukázkový první test.
4	Test z výrokové logiky.	Ukázkový první test. Pokud je pro vás test příliš těžký, můžete nejprve zkusit jednoduchou variantu. Pokud se chcete připravit na všechno, zpracujte i těžkou variantu. cv1-reseni

Table of Contents

Cvičení

Nepravidelnosti

Časový plán