výuka

Petr Olmer, MFF UK

20.03.2006

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

Cvičení z logiky 2005/6
Dokončení výrokové logiky.

Diskuse nad testem.

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

příklady

Petr Olmer, 20.03.2006, 12:25:00, trvalý odkaz

Komentáře

Přidání komentáře...

Vaše jméno:


Váš e-mail:


Text: