výuka

Petr Olmer, MFF UK

26.02.2007

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

Výroková logika - ekvivalence formulí (zákony), normální tvary.
Petr Olmer, 26.02.2007, 9:00:00, trvalý odkaz, komentáře (0)

22.02.2007

19.02.2007

Literatura

Základní, rozšiřující, doplňující.
Petr Olmer, 19.02.2007, 7:43:00, trvalý odkaz, komentáře (0)

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

Podmínky platí pro obě mé skupiny.
Petr Olmer, 19.02.2007, 7:33:00, trvalý odkaz, komentáře (0)

16.02.2007

Seminář v letním semestru

Termín konání semináře ani jeho téma ještě není umluveno.
Petr Olmer, 16.02.2007, 16:28:00, trvalý odkaz, komentáře (0)

15.02.2007

Termíny

Časový rozvrh předmětu a sankce za jeho nedodržení.
Petr Olmer, 15.02.2007, 11:21:00, trvalý odkaz, komentáře (0)

Témata

Tématické oblasti pro projekty.
Petr Olmer, 15.02.2007, 11:20:00, trvalý odkaz, komentáře (0)