Hide menu

TDDD72 Logic

Course information


  • 6 hp (ECTS)


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


  • Lectures: not obligatory (but recommended and helpful).
  • Lessons: 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, 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: Andrzej Szalas
Last updated: 2016-02-12