Obecné informace
Cvičení k přednášce Výroková a predikátová logika .
Účast na cvičeních není povinná, zápočet bude udělen za dva testy psané v průběhu semestru (první z výrokové, druhý z predikátové logiky), je třeba získat alespoň 2/3 bodů v součtu. Náhradní/opravný termín testu je středa 17. 1. od 9:00 v S1.
Průběh semestru
3. října: Zadání 1, probrány příklady 1, 2, 3 a 6
10. října: Zadání 2, probrány příklady 1 až 4, část příkladu 5 (zbytek je domácí úkol); probrán příklad 7 z minulého cvičení
17. října: Zadání 3, probrány příklady 1 až 6, příklad 7 je domácí úkol
24. října: Zadání 4, probrány příklady 1 až 4
31. října: Zadání 5, probrány všechny příklady
7. listopadu: Zadání 6, probrány příklady 1, 2, 4, 5, 7, částečně 3
14. listopadu: První test: varianta A, varianta B; Zadání 7, probráno několik příkladů z cvičení 1
21. listopadu: opět Zadání 7, probrány příklady 1 až 3, částečně 4
28. listopadu: Zadání 8, probrány příklady 1, 3a), 7, 8, 9, na ranním cvičení ještě příklad 10, příklad 2 je domácí úkol
5. prosince: Zadání 9, probrány příklady 1, 3, 4a)-4d)
12. prosince: Zadání 10
9. ledna: Zadání 11