Automated Reasoning Course
2016/2017
- Schedule
- Thursday, 14-15:30, room A7
- Program
-
The course presents the main methods for checking satisfiability or entailment
of formulae in propositional logic, first order logic, and modal logics,
including in particular the modal logics of time.
- Final tests
- Oral test only; please email the professor for details.