výuka

Petr Olmer, MFF UK

27.03.2006

Výsledky druhého testu

Test se psal na cvičení dne 27. března 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ů.

Celý příspěvek

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

6. cvičení (27. března 2006)

Sémantika predikátové logiky.

Celý příspěvek

Petr Olmer, 27.03.2006, 12:36:42, trvalý odkaz, komentáře (0)

20.03.2006

5. cvičení (20. března 2006)

Dokončení výrokové logiky.

Celý příspěvek

Petr Olmer, 20.03.2006, 12:25:00, trvalý odkaz, komentáře (0)

15.03.2006

Grupíček

Skupiny v Grupíčku už existují.

Celý příspěvek

Petr Olmer, 15.03.2006, 16:57:00, trvalý odkaz, komentáře (0)

14.03.2006

Výsledky prvního testu

Test se psal na cvičení dne 13. března 2006. Grupíček ještě není, takže 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.

Celý příspěvek

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

13.03.2006

4. cvičení (13. března 2006)

Formální systém výrokové logiky.

Celý příspěvek

Petr Olmer, 13.03.2006, 14:32:00, trvalý odkaz, komentáře (1)

6.03.2006

3. cvičení (6. března 2006)

Dokončení výrokového kalkulu.

Celý příspěvek

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