výuka

Petr Olmer, MFF UK

23.05.2006

Co dál

Cvičení z logiky 2005/6
(po zápočtové písemce)

Celý příspěvek

Petr Olmer, 23.05.2006, 19:35:00, trvalý odkaz, komentáře (1)

Zápočty (komplet)

Cvičení z logiky 2005/6
Všechny zápočty jsou zapsány.

Celý příspěvek

Petr Olmer, 23.05.2006, 19:22:00, trvalý odkaz, komentáře (0)

Zápočty (2. várka)

Cvičení z logiky 2005/6
Mám opraveny všechny písemky z cvičení od 9.00.

Celý příspěvek

Petr Olmer, 23.05.2006, 14:11:00, trvalý odkaz, komentáře (0)

22.05.2006

Zápočty (1. várka)

Cvičení z logiky 2005/6
Dnes už toho víc neopravím.

Celý příspěvek

Petr Olmer, 22.05.2006, 18:48:00, trvalý odkaz, komentáře (5)

11. cvičení (22. května)

Cvičení z logiky 2005/6
Závěrečná písemka

Celý příspěvek

Petr Olmer, 22.05.2006, 13:17:00, trvalý odkaz, komentáře (0)

16.05.2006

Závěrečná písemka

Cvičení z logiky 2005/6
Zápočtová písemka se bude psát na cvičeních v pondělí 22. května 2006.

Celý příspěvek

Petr Olmer, 16.05.2006, 8:45:00, trvalý odkaz, komentáře (6)

15.05.2006

Výsledky čtvrtého testu

Cvičení z logiky 2005/6
Test se psal na cvičení dne 15. května 2006. Toto jsou oficiální výsledky - pokud jsem se někde přehlédl či přepsal, je třeba mě donutit, abych opravil tuto tabulku. Do Grupíčku jde opět kopie +5 bodů. Máte-li v součtu méně než 1 bod, nezískali jste zápočet.

Celý příspěvek

Petr Olmer, 15.05.2006, 13:28:00, trvalý odkaz, komentáře (1)

10. cvičení (15. května 2006)

Cvičení z logiky 2005/6
Čtvrtý test.

Celý příspěvek

Petr Olmer, 15.05.2006, 9:08:00, trvalý odkaz, komentáře (0)

14.05.2006

9. cvičení (24. dubna 2006)

Cvičení z logiky 2005/6
Dokazování formulí v predikátové logice.

Celý příspěvek

Petr Olmer, 14.05.2006, 13:07:00, trvalý odkaz, komentáře (0)