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

Antonín Sochor: Logika pro všechny ochotné myslet (Matematický ústav AV)
Už opravdu velmi dlouho připravovaná knížka pokrývající logiku přibližně v rozsahu předmětu Výroková a predikátová logika. Ale trochu jinak. Věty o neúplnosti jsou třeba vysvětlovány pomocí hobitů;). Ke stažení jsou k dispozici jen některé kapitoly, knížku snad vydají brzy, i to, co je na netu, by ale mohlo stát za to. Neposlouží to k tomu, abyste se v omezeném čase připravili na zkoušku, ale abyste si logiku ještě jednou v klidu prošli, pokud vás trochu zaujala. S menším množstvím formalismů a větším množstvím povídání a cvičení, menším množstvím důkazů a větším vysvětlování. Ještě na gymplu jsem sloužil jako pokusný králík při korekturách prvních verzí. Byla to zábava. Logika na Matfyzu pro mě pak byla velkým zklamáním. — Adam
Sochor bohuzel v kvetnu zemrel takze buhvi jak dlouho bude jeste tvat nez to vyjde :( ...napsal jsem ale do Karolina — Petr
Já vím. Zjistil jsem to krátce po tom, co jsem o tom sem psal. Byl to fakt fajn člověk. Nicméně vydat by to měli, viz stránky AV, resp. jejich Google Cache. — Adam