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

• Mlček materiály k přednášce požadavky ke zkoušce, celkem brutus

• zápisky Pilát cvika (2009)

• zápisky Mlček cvika (2008)

• zápisky,řešené příklady (2009)

• Gödelova věta lidsky

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

• On-line výukové materiály - slajdy z přednášky, skripta

• Stránky cvika Petr Olmer - příklady na procvičení

• Studijní materiál na MUNI

• Matematická logika na ČVUT (Demlová)

• Základní kurz logiky (MUNI)

• Výcuc ze skript prof. Štěpánka (tahák, PDF)

• Příklady

• Evýuka

Category:Matematika%20pro%20informatiky