výuka

Petr Olmer, MFF UK

16.04.2007

8. cvičení (16. dubna 2007)

> Cvičení z logiky
Dokončení predikátového kalkulu.

Další triky k zjišťování pravdivosti formulí. Věta o dedukci a její předpoklad, důsledky tohoto předpokladu.

příklady

příští cvičení třetí test 

Petr Olmer, 16.04.2007, 18:36:00, trvalý odkaz,

Komentáře (0)

Přidání komentáře