TDDD72 Logic

Course information

Credits

• 6 hp (ECTS)

Organization

• Lectures: 9x2hrs.
• Lessons: 9x2hrs.

Requirements

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

Course contents

1. Introduction to logics. Propositional calculus.
2. Propositional calculus: tableaux, satisfiability.
3. Propositional calculus: resolution.
4. First order logic: introduction.
5. First order logic: tableaux.
6. First order logic: resolution.
7. Deductive databases.
8. Propositional and first-order natural deduction.
9. Repetition (exam-like exercises).

Page responsible: Johannes Klaus Fichte
Last updated: 2022-10-07