výuka

Petr Olmer, MFF UK

29.03.2007

6. cvičení (26. března 2007)

> Cvičení z logiky
Úvod do predikátové logiky - kalkul.
Celý příspěvek
Petr Olmer, 29.03.2007, 14:22:00, trvalý odkaz, komentáře (0)

19.03.2007

12.03.2007

Test 1 (12. března 2007)

> Cvičení z logiky
Výsledky testu jsou v Grupíčku.
Celý příspěvek
Petr Olmer, 12.03.2007, 15:56:27, trvalý odkaz, komentáře (0)

4. cvičení (12. března 2007)

> Cvičení z logiky
Axiomatický systém výrokové logiky.
Celý příspěvek
Petr Olmer, 12.03.2007, 14:25:00, trvalý odkaz, komentáře (0)

7.03.2007