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

Toto je stará verze stránky VýrokováAPredikátováLogika z 2008-05-29 02:23:25..

Výroková a predikátová logika

Přednášky

http://ktiml.ms.mff.cuni.cz/vyuka/materialy.html (aktuální slajdy z VL 2008)
mno a pokud nahodou chcete ty skripta – co jsou zabaleny nerozbalitelnym prazipem – tak tady jsou uz rozbaleny http://disk.jabbim.cz/helloman@jabber.cz/predlog.pdf
( rozbalil to exa :)

Cvičení

Odkazy

Na stránce nejsou žádné soubory. [Zobrazit soubory (formulář)]

Na stránce nejsou žádné komentáře. [Zobrazit komentáře (formulář)]

Powered by WackoWiki R4.2