Syntax highlighting of Archiv/Výroková a predikátová logika

{{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/index.php?select=teaching&section=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]]