výuka

Petr Olmer, MFF UK

27.04.2006

Hromadná konzultace

Cvičení z logiky 2005/6
Hromadná konzultace k dokazování v predikátové logice: pátek 12. května 14:00 v S5.

Celý příspěvek

Petr Olmer, 27.04.2006, 13:43:00, trvalý odkaz, komentáře (1)

11.04.2006

Výsledky třetího testu

Cvičení z logiky 2005/6
Test se psal na cvičení dne 10. dubna 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ů. Update 24. 4. 2006

Celý příspěvek

Petr Olmer, 11.04.2006, 15:48:00, trvalý odkaz, komentáře (0)

10.04.2006

8. cvičení (10. dubna)

Cvičení z logiky 2005/6
Modální logika, důkaz boží existence.

Celý příspěvek

Petr Olmer, 10.04.2006, 9:00:00, trvalý odkaz, komentáře (0)

3.04.2006

7. cvičení (3. dubna 2006)

Cvičení z logiky 2005/6
Pravdivost formulí

Celý příspěvek

Petr Olmer, 3.04.2006, 9:00:00, trvalý odkaz, komentáře (0)