výuka

Petr Olmer, MFF UK

27.02.2006

2. cvičení

Cvičení z logiky 2005/6
Výroková logika - ekvivalence formulí, normální tvary.

Celý příspěvek

Petr Olmer, 27.02.2006, 8:57:03, trvalý odkaz, komentáře (0)

21.02.2006

Témata

Ročníkový projekt
Tématické oblasti pro projekty.

Celý příspěvek

Petr Olmer, 21.02.2006, 21:23:00, trvalý odkaz, komentáře (0)

Termíny

Ročníkový projekt
Časový rozvrh předmětu a sankce za jeho nedodržení.

Celý příspěvek

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

20.02.2006

1. cvičení (20. února 2006)

Cvičení z logiky 2005/6
Úvod do předmětu. Sémantika výrokové logiky.

Celý příspěvek

Petr Olmer, 20.02.2006, 12:14:53, trvalý odkaz, komentáře (0)

19.02.2006

Literatura

Cvičení z logiky 2005/6
Základní, rozšiřující, doplňující.

Celý příspěvek

Petr Olmer, 19.02.2006, 22:57:43, trvalý odkaz, komentáře (0)

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

Cvičení z logiky 2005/6
Podmínky platí pro obě mé skupiny (pondělí 9:00 a 10:40).

Celý příspěvek

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

17.02.2006

Úvodní schůzka

Seminář z MAS 2005/6
Úterý 21. února v 10:30 na MS na chodbě před mou pracovnou č. 207.

Celý příspěvek

Petr Olmer, 17.02.2006, 21:52:00, trvalý odkaz, komentáře (0)