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ýsledku testu

Výsledky jsou zveřejněny níže.

Ti, kteří nedosáhli na 16 bodů, si budou muset napsat opravný test. Výjimku tvoří Adrienn a Rampouch, kterým schází pouze 0,5 bodu, těm se ozvu individuálně.

Termín náhradního testu: navrhuju čtvrtek 15. 1. od 9:00 v S11. Opravný test bude obsahovat ty typy příkladů, které se objevily v posledním testu. Napište mi na mail, zda přijdete.

Kdo by chtěl vidět svůj test, případně něco prokonzultovat, může se stavit v úterý 13. 1. před 9:00 v S1. Pokud budete chtít přijít, dejte mi předem vědět mailem.

Středa 15:40 - 17:10

1. 10. Zadání 1 : probrány příklady 1 až 7

8. 10. Zadání 2 : probrány příklady 1 až 6

15. 10. Zadání 3 : probrány příklady 1 až 5

22. 10. Zadání 4 : probrány příklady 1 až 5

29. 10. Zadání 5 : probrány příklady 1 až 7

5. 11. Zadání 6 : probrány všechny příklady

19. 11. Výsledky testu , zadání testu

26. 11. Zadání 7 : probrány příklady 1 až 7

3. 12. Zadání 7 : probrány příklady 8 až 12

10. 12. Zadání 8 : probrány příklady 1, 2, vybrané příklady z 3 a 4

17. 12. Zadání 8 : probrány příklady 5 až 8

7. 1. Výsledky testu, zadání testu

Úterý 17:20 - 18:50

7. 10. Zadání 1 : probrány příklady 1 až 7

14. 10. Zadání 2 : probrány příklady 1 až 5

21. 10. Zadání 3 : probrány příklady 1 až 5

4. 11. Zadání 4 : probrány příklady 1 až 5

11. 11. Zadání 5 : probrány příklady 1 až 6

18. 11. Zadání 6 : probráno vše

25. 11. Výsledky testu , zadání testu

2. 12. Zadání 7 : probrány příklady 1 až 7

9. 12. Zadání 7 : probrány příklady 8 až 12

16. 12. Zadání 8 : probrány příklady 1, vybrané příklady z 3 a 4, příklad 7

6. 1. Výsledky testu , zadání testu