Support material for courses on A.I., Logic, Formal Methods
- Logic and Applications in A.I. (Jussi Rintanen): basics of propopositional and modal logics, model-checking, symbolic state-space search
- How to write proofs? An important skill for formal methods researchers.