{{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-?)

Studijní materiál Štěpánek (?-2009)

Category:Matematika pro informatiky