University Homepage School Homepage School Contacts School Search

Automated Reasoning (2011-12): Self-Help Exercises

There are no tutorials in the Automated Reasoning Course. As an alternative, we have provided self-help exercises covering some of the material. Notes on the solutions are also made available. We strongly advise you to attempt these exercises at the end of each week's lectures and before looking at the solution notes. Successful completion of the exercises will ensure you have understood the course material and will prepare you for the examinations.

---

Exercises are based on the lecture material presented in the Thursday of the previous week and the Monday of the week they should be attempted.

Week	Exercises	Solution Notes
2	Exercises 1	Solutions 1
3	Exercises 2: Propositional Logic	Solutions 2
4	Exercises 3: FOL	Solutions 3
5	Exercises 4: Unification and Rewriting	Solutions 4

---