TDDC36 Logic

Course information

Credits

• 6 hp (ECTS)

Organization

• Lectures: 9x2hrs.
• Seminars: 9x2hrs.

Requirements

• Lectures: not obligatory (but recommended and helpful).
• Seminars: not obligatory (but recommended and helpful).
• Exam: written exam at the end of the curse (obligatory).

Course contents

1. Introduction to logics. Propositional calculus.
2. Propositional calculus: tableaux, deductive systems (Gentzen and Hilbert-like).
3. Propositional calculus: resolution. Applications.
4. Predicate calculus. Synax and semantics. Tableaux.
5. Predicate calculus: deductive systems (Gentzen and Hilbert-like).
6. Predicate calculus: resolution. Applications.
7. Deductive databases.
8. Modal and temporal logics.
9. Repetition.

Page responsible: Andrzej Szalas
Last updated: 2007-11-05