V předmětu budou systematicky vyloženy základy výrokové a zejména predikátové logiky. Nejprve budou studenti seznámeni se syntaxí a sémantikou těchto logik, pak budou logiky studovány jako formální teorie s důrazem na problematiku dokazování formulí. Prodiskutovány budou také klasické věty o korektnosti,  úplnosti a kompaktnosti. Po probrání převodu formulí na prenexní tvar budou uvedeny některé vlastnosti a modely teorií 1. řádu. Pozornost bude také věnována nerozhodnutelnosti teorií 1. řádu vyplývající ze známých Gödelových vět o neúplnosti. Závěrem předmětu bude pojednáno o některých dalších významných logikách, které nacházejí uplatnění v informatice.

Okruhy otázek k SDZ:

1. Jazyk, formule a sémantika výrokové logiky.
2. Formální systém výrokové logiky.
3. Dokazatelnost ve výrokové logice, věta o úplnosti.
4. Jazyk predikátové logiky, termy a formule.
5. Sémantika predikátové logiky.
6. Formální systém predikátové logiky 1. řádu.
7. Dokazatelnost v predikátové logice, prenexní tvary formulí.
8. Teorie 1. řádu a jejich modely.  
9. Věty o úplnosti a o kompaktnosti.
10. Nerozhodnutelnost teorií 1. řádu, Gödelovy věty o neúplnosti.