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
http://disk.jabbim.cz/helloman@jabber.cz/predlog.pdf