Logic IIDF14400, 2011HT
Approximately 24 hours.
Doctoral students with some background in logics (e.g. introductory course).
The course was last given
The course goal is to provide the participants with a broad knowledge on modern
logics and their applications in computer science, in particular in artificial
intelligence, automated theorem proving and formal specification and
verification of software. Issues on incomplete and inaccurate information are
The participans will learn how to chose and/or develop a logic for a particular application domain together with proof systems, with the emphasis on automated verification of satisfiability and validity of formulas.
Introductory course in logic
- Proof and model theory.
- Deductive databases.
- Introduction to non-standard logics: many-valued logics, including fuzzy calculus, modal logic, 2nd-order logic.
The course is given in an intensive format ("crash course").
Take home exam/assignment.
4 HEC (Higher Education Credits)
Course web page
Click here for more information.
Page responsible: Director of Graduate Studies