výuka

Petr Olmer, MFF UK

30.04.2007

10. cvičení (30. dubna 2007)

> Cvičení z logiky
Dokazatelnost formulí v predikátové logice.
Celý příspěvek
Petr Olmer, 30.04.2007, 9:00:00, trvalý odkaz, komentáře (0)

29.04.2007

Test 3 (23. dubna 2007)

> Cvičení z logiky
Výsledky testu jsou v grupíčku.
Celý příspěvek
Petr Olmer, 29.04.2007, 23:25:00, trvalý odkaz, komentáře (0)

23.04.2007

9. cvičení (23. dubna 2007)

> Cvičení z logiky
Úvod do dokazování v predikátové logice.
Celý příspěvek
Petr Olmer, 23.04.2007, 16:52:00, trvalý odkaz, komentáře (0)

16.04.2007

8. cvičení (16. dubna 2007)

> Cvičení z logiky
Dokončení predikátového kalkulu.
Celý příspěvek
Petr Olmer, 16.04.2007, 18:36:00, trvalý odkaz, komentáře (0)

3.04.2007

Test 2 (2. dubna 2004)

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

2.04.2007