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
- Introduction to logics. Propositional calculus.
- Propositional calculus: tableaux, satisfiability.
- Propositional calculus: resolution.
- First order logic: introduction.
- First order logic: tableaux.
- First order logic: resolution.
- Deductive databases.
- Propositional and first-order natural deduction.
- Repetition (exam-like exercises).
Page responsible: Johannes Klaus Fichte
Last updated: 2022-10-07