Automated Reasoning

If you run into difficulties and are not making satisfactory progress then seek help. The earlier you ask for help the more likely it is that your problems can be solved without damaging your performance in the course. Contact the lecturer:

Short email messages are the most effective way of getting a rapid response.

Do not be ashamed of asking for help. This is a challenging course, which introduces you to novel techniques and skills. You are expected to learn them during the course, not to come already equipped with them.

Extensions: Please note, however, that extensions to coursework deadlines cannot be granted by the course lecturers. All requests for extensions should be directed to the ITO via their Contact Form. These will then be logged and passed on to the appropriate Course Organiser for a decision.

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