Toto je stará verze stránky VýrokováAPredikátováLogika z 2008-06-01 20:15:51..

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 :)

výtah ze script od s0cketky
zapisky ze cviceni (Vomlelova)
řešené příklady
další přehled
- Pozor, v tomhle souhrnu jsou u prenexnich operaci (mozna nedostatkem nastroju, nepozornosti nebo nevim cim) chybne uvedeny vsechny operace,
- u kterych se kvantifikator meni (melo by tam byt Q s pruhem misto Q), radeji si to rozmyslete sami jak to ma byt spravne, KF
- TEch drobnosti je tam vic, ale spis jde o preklepy, protoze mi to prijde jako okopceny ze slajdu. CH
další souhrn
wiki – mnoho odkazů
skripta Matematická logika (Doc. RNDr. Vítězslav Švejdar, CSc.)
skripta Logika: neúplnost, složitost a nutnost (Doc. RNDr. Vítězslav Švejdar, CSc.)
2007 cvičení (Mgr. Petr Olmer)
2006 cvičení (Mgr. Petr Olmer)
staré cvičení