výuka

Petr Olmer, MFF UK

19.03.2007

5. cvičení (19. března 2007)

Dokončení výrokové logiky.

Příklady z testu.

Ještě k dokazování formulí.

Úpravy formálního systému a jejich důsledky.

příklady

Petr Olmer, 19.03.2007, 9:00:00, trvalý odkaz,

Komentáře (0)

Přidání komentáře