{{předmět|Výroková a predikátová logika|Petr Štěpánek|AIL062}}
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://www.martinvseticka.eu/index.php?sekce=browse&page=178 Mlček cvika (2008)]
* [http://zaantar.eu/index.php?page=Studijn%C3%AD+materi%C3%A1ly Pilát cvika (2009)]
== Studijní materiál Stě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://home.pf.jcu.cz/~novakp08/Matematika/Logika.htm Matematické texty - logika a teorie množin] '''Nefunkční'''
* [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)
[[Category:Matematika pro informatiky]]
