výuka

Petr Olmer, MFF UK

13.03.2006

4. cvičení (13. března 2006)

Cvičení z logiky 2005/6
Formální systém výrokové logiky.

Axiomy, modus ponens. Způsob dokazování formulí. Věta o dedukci.

příklady

test

Petr Olmer, 13.03.2006, 14:32:00, trvalý odkaz

Komentáře

13.03.2006, 14:48:41 lobo
chá, ještě že jsem se nedostavil:-)

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

Vaše jméno:


Váš e-mail:


Text: