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

Home : Teaching : Courses : Ar 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail:
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh