Deprecated: Function set_magic_quotes_runtime() is deprecated in /DISK2/WWW/lokiware.info/mff/wakka.php on line 35 Matfiz : VýrokováAPredikátováLogika

Matfiz: VýrokováAPredikátováLogika

Výroková a predikátová logika

Přednášky

Zkouška

Viz !/Zkouška LS 2008.

Cvičení

Odkazy

Logika zábavně (a přitom chytře)