výuka

Petr Olmer, MFF UK

11.07.2007

Statistika po zkouškovém

> Cvičení z logiky
Zaokrouhleno na celá procenta. Před zářijovými termíny.
Celý příspěvek
Petr Olmer, 11.07.2007, 11:33:00, trvalý odkaz, komentáře (1)

8.06.2007

Poznámky ke zkoušce

> Cvičení z logiky
Měl jsem to pochybné štěstí, že jsem opravoval zkouškové písemné práce. Ze čtyř prací prošla jenom jedna, a i ta velmi těsně.
Celý příspěvek
Petr Olmer, 8.06.2007, 11:56:00, trvalý odkaz, komentáře (1)

22.05.2007

14.05.2007

Test 4 (14. května 2007)

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

7.05.2007

11. cvičení (7. května 2007)

> Cvičení z logiky
Mohutnosti množin, modální logika, důkaz boží existence.
Celý příspěvek
Petr Olmer, 7.05.2007, 9:00:00, trvalý odkaz, komentáře (0)

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

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

26.02.2007

2. cvičení (26. února 2007)

> Cvičení z logiky
Výroková logika - ekvivalence formulí (zákony), normální tvary.
Celý příspěvek
Petr Olmer, 26.02.2007, 9:00:00, trvalý odkaz, komentáře (0)

22.02.2007

19.02.2007

Literatura

> Cvičení z logiky
Základní, rozšiřující, doplňující.
Celý příspěvek
Petr Olmer, 19.02.2007, 7:43:00, trvalý odkaz, komentáře (0)

Podmínky získání zápočtu

> Cvičení z logiky
Podmínky platí pro obě mé skupiny.
Celý příspěvek
Petr Olmer, 19.02.2007, 7:33:00, trvalý odkaz, komentáře (0)

27.09.2006

Finální statistika 2005/6

> Cvičení z logiky
Opět zaokrouhleno na celá procenta. Srovnání mých studentů s celkem.
Celý příspěvek
Petr Olmer, 27.09.2006, 22:46:00, trvalý odkaz, komentáře (0)

26.09.2006

Statistika před posledním zkouškovým termínem

> Cvičení z logiky
Jenom pro uchování historie, zaokrouhleno na celá procenta.
Celý příspěvek
Petr Olmer, 26.09.2006, 10:53:00, trvalý odkaz, komentáře (0)