Výroková a predikátová logika
Přednášky
Zkouška
Cvičení
Odkazy
-
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í
Logika zábavně (a přitom chytře)
- 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 v kvetnu umrel takze buhvi jak dlouho bude jeste tvat nez to vyjde :( ...napsal jsem ale do Karolina —
Petr
