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