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 průběžný test a domácí úkoly. Test budeme s největší pravděpodobností psát 12. 12. a bude hodnocen maximálně 80 body. Domácí úkoly budou zadávány na cvičeních a zároveň ohlašovány na webu, v součtu budou hodnoceny maximálně 10 body. Pro zisk zápočtu je potřeba získat alespoň 60 bodů.

Domácí úkoly

17. října: Příklad číslo 10 ze 17. října, odevzdání do 24. října (2 body).

31. října: Příklad číslo 9 ze 24. října, odevzdání do 8. listopadu (2 body).

7. listopadu: Příklad číslo 1 ze 7. listopadu, odevzdání do 14. listopadu (1 bod).

21. listopadu: Příklad 2a) z 21. listopadu, odevzdání do 28. listopadu (1 bod).

22. prosince: Z tohoto testu je možné si vybrat úkoly za maximálně (10 − d) bodů, kde d značí počet bodů dosud získaných z domácích úkolů zadávaných v průběhu semestru do konce listopadu.

Průběh semestru

3. října: Zadání 1, probrány příklady 1, 2, 3, 6 a 7

10. října: Zadání 2, probrány všechny příklady

17. října: Zadání 3, probrány příklady 4 až 7, 8a), 9; příklad 10 je domácí úkol

24. října: Zadání 4, probrány příklady 1 až 8

31. října: Zadání 5, probrány příklady 1 až 3

7. listopadu: Zadání 6, probrány příklady 2, 4, 5 a příklady 5 a 6 z minulého týdne; příklad 1 je domácí úkol

14. listopadu: Zadání 7, probrány příklady 1 až 3

21. listopadu: Zadání 8, probrány příklady 1, 3, 4, 7, 8

28. listopadu: Zadání 9, probrána část cvičení 1

5. prosince: stejné zadání jako minule, probrán zbytek cvičení 1 a část cvičení 2

12. listopadu: Test

19. prosince: Zadání 10