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.

Výsledky prvního testu najdete zde.

Zadání testů z tohoto semestru: 1A, 1B, 2A, 2B, opravný test

Poslední možností, jak získat zápočet, je mimořádný test ve středu 3. února, od 9:00 v S201 (chodba před KSI v druhém patře). Podmínkou je opět zisk 2/3 bodů, otázky budou odpovídat typově těm, které se v testech už objevily. Abyste mohli test psát, je třeba přinést s sebou vypracovanou (ručně psanou) opravu posledního testu a dát mi předem mailem vědět, že hodláte přijít.

Průběh semestru

5. října: Zadání 1

12. října: Záskok, aneb cvičení bez cvičící (probraly se zbytky z prvního cvičení)

19. října: Zadání 3, s první skupinou jsme došli k příkladu 7, s druhou k příkladu 5; příklad 6 je (dobrovolné) domácí cvičení

26. října: Zadání 4

2. listopadu: Zadání 5

9. listopadu: děkanské volno

16. listopadu: Zadání 6

23. listopadu: Zadání 7

30. listopadu: Zadání 8, probrány příklady na varianty a substituovatelnost

7. prosince: Zadání 9, plus příklady z minulého zadání

14. prosince: Zadání 10

21. prosince: Zadání 11

4. ledna: druhý test

11. ledna: rezoluce, (konzervativní) extenze