{{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 ==
* [http://ktiml.ms.mff.cuni.cz/vyuka/materialy.html 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]
* [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.php5.cz/skola/logika-souhrn.pdf Výcuc ze skript prof. Štěpánka] (tahák, PDF)
[[Category:Matematika pro informatiky]]
