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, je třeba získat alespoň 2/3 bodů v součtu.

Plakátek s informacemi o pokročilém cvičení.

Druhý test budeme psát 6. ledna. Objeví se v něm příklady z predikátové logiky těch typů, které jsme probrali na cvičení.

Průběh semestru

7. října: Zadání 1

14. října: Zadání 2

21. října: Zadání 3

28. října: Cvičení se nekonalo.

4.listopadu: Cvičení se nekonalo.

11.listopadu: Zadání 5

18.listopadu: Zadání 6

25. listopadu: První test

2. prosince: Zadání 8

9. prosince: Zadání 9

16. prosince: stejné zadání jako minule

6. ledna: Druhý test

13. ledna: Zadání 10