výuka

Petr Olmer, MFF UK

12.05.2008

Domácí úkol 3

Intencionální logika.

Na přednášce jsme používali operátor Before p q. Definujte jej formálně pomocí ostatních operátorů intencionální logiky.

Deadline: pondělí 26. května 2008. 

Petr Olmer, 12.05.2008, 23:52:00, trvalý odkaz,

Komentáře (0)

Přidání komentáře