====== 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. |  |
| 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]] |  |
| 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]]. |  |
| 4  | Test z výrokové logiky. |  |  |  |