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

19. prosince: Test A, Test B

9. ledna: Zadání 11

Náhradní test

Opravný test