{{předmět|Výroková a predikátová logika|Josef Mlček|NAIL062}}
Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.
== Studijní materiál Mlček (2009-?) ==
* [http://kti.mff.cuni.cz/~mlcek/ Mlček materiály k přednášce] [http://kti.mff.cuni.cz/~mlcek/EXAM.pdf požadavky ke zkoušce, celkem brutus]
* [http://zaantar.eu/index.php?page=Studijn%C3%AD+materi%C3%A1ly zápisky Pilát cvika (2009)]
* [http://www.martinvseticka.eu/index.php?sekce=browse&page=178 zápisky Mlček cvika (2008)]
* [http://www.marketa.najevisti.info/studium.php zápisky,řešené příklady (2009)]
* [http://cs.wikipedia.org/wiki/G%C3%B6delovy_v%C4%9Bty_o_ne%C3%BAplnosti Gödelova věta lidsky]
== Studijní materiál Štěpánek (?-2009)==
* [http://ktiml.ms.mff.cuni.cz/index.php?select=teaching§ion=sources&lang=czech On-line výukové materiály] - slajdy z přednášky, skripta
* [http://kti.mff.cuni.cz/~olmer/vyuka/log03.html Stránky cvika Petr Olmer] - příklady na procvičení
* [http://is.muni.cz/el/1433/podzim2006/MA007/um/ Studijní materiál na MUNI]
* [http://math.feld.cvut.cz/demlova/teaching/mlo_vyuka.html Matematická logika na ČVUT (Demlová)]
* [http://www.phil.muni.cz/fil/logika/uvod.php Základní kurz logiky (MUNI)]
* [http://s0cketka.blogspot.com/2006/05/souhrn-z-logiky.html Výcuc ze skript prof. Štěpánka] (tahák, PDF)
* [http://vpl.xf.cz/doku.php?id=start Příklady]
* [http://snug.ic.cz/index.htm Evýuka]
[[Category:Matematika pro informatiky]]
