výuka

Petr Olmer, MFF UK

23.05.2006

Co dál

(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)

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)

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)

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)

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

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

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)

Č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)

Dokazování formulí v predikátové logice.

Celý příspěvek

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