Course pages 2016–17

# Automated Reasoning

### Lecture notes

- Lecture 1: Introduction to and History of Automated Reasoning
- Lecture 2: Mathematical Logic - Revision
- Lecture 3: Representation of Mathematical Knowledge
- Lecture 4: Establishing Correctness by Proof