výuka

Petr Olmer, MFF UK

29.03.2007

6. cvičení (26. března 2007)

> Cvičení z logiky
Úvod do predikátové logiky - kalkul.

Jazyk predikátové logiky, termy a formule.

Volné a vázané proměnné. Čisté varianty formulí. 

Realizace jako struktura, ohodnocení volných proměnných.

Pravdivost formulí v realizacích.

příklady

Příští týden se bude psát test. 

Petr Olmer, 29.03.2007, 14:22:00, trvalý odkaz,

Komentáře (0)

Přidání komentáře