====== 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 [[https://intranet.fel.cvut.cz/cz/education/harmonogram.html|harmonogram]].
  * Ve 12. výukovém týdnu odpadají úterní cvičení. Důvodem je náhrada výuky, viz [[https://intranet.fel.cvut.cz/cz/education/harmonogram.html|harmonogram]].

==== Časový plán ====


^ Týden ^ Náplň ^ Materiály ^ Videa ^ Domácí cvičení ^
| 1  | Indukce. | {{indukce-cviceni.pdf|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. | {{cv-prir-dedukce-vl.pdf|Přirozená dedukce - příklady ze cvičení.}} {{prirozena-dedukce-vl.pdf|Příklady k procvičení přirozené dedukce i s řešením.}} | [[https://www.youtube.com/watch?v=dsd0wyT2Hmc|Videocvičení z přirozené dedukce 0,]] [[https://www.youtube.com/watch?v=ItRlYulie0w|Videocvičení 1]], [[https://www.youtube.com/watch?v=dMO0BJkoj_o|Videocvičení 2]], [[https://www.youtube.com/watch?v=vkqEcKPb9gA|Videocvičení 3]] | Sestrojte důkaz <code>a ∨ b, b ⇒ (¬ c ∨ e), a ⇒ (¬c ∨ d) ⊢ c ⇒ (e ∨ d). </code> Sestrojte důkaz <code>⊢ ((a ⇒ b) ⇒ a) ⇒ a.</code> |
| 3  | Sémantika výrokové logiky. | {{cv-sem-vl-bez-reseni.pdf|Sémantika výrokové logiky.}} {{cv-sem-vl.pdf|Příklady k procvičení sémantiky výrokové logiky.}} | [[https://www.youtube.com/watch?v=w84ubanTQ9Y|Splnitelnost, tautologie]]. [[https://www.youtube.com/watch?v=OwBWWyy76aE|ÚSS]]. [[https://www.youtube.com/watch?v=xuOQDLP92HA|Velká konjunkce]]. [[https://www.youtube.com/watch?v=YHUZX3Hxh0s|De Morgan]]. [[https://www.youtube.com/watch?v=UBBUoClkF0s|Převod do CNF]]. [[https://www.youtube.com/watch?v=6IL2UsZGKK8|CNF z tabulky]]. [[https://www.youtube.com/watch?v=X85TfXKyzHE|Splnitelnost]]. [[https://www.youtube.com/watch?v=bhT9dBuNG-Y|Sémantický důsledek]]. [[https://www.youtube.com/watch?v=rftvNFLPz68|Sémantický důsledek 2]]. | Zpracujte si doma {{vl-test-ukazka.pdf|ukázkový první test}}. |
| 4  | Test z výrokové logiky. | {{vl-test-ukazka.pdf|Ukázkový první test}}. Pokud je pro vás test příliš těžký, můžete nejprve zkusit {{vl-test-ukazka2.pdf|jednoduchou variantu}}. Pokud se chcete připravit na všechno, zpracujte i {{vl-test-ukazka3.pdf|těžkou variantu}}. {{vl-cv1-reseni.pdf|cv1-reseni}} |  |  |