výuka

Petr Olmer, MFF UK

7.03.2007

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

> Cvičení z logiky
Dokončení výrokového kalkulu.

Důkaz sporem, důkaz rozborem případů. Věta o dedukci.

Tautologické důsledky, maximální bezesporná množina a další hrátky.

příklady

na příštím cvičení se bude psát test

Petr Olmer, 7.03.2007, 21:21:00, trvalý odkaz,

Komentáře (0)

Přidání komentáře