All,

(1) Pre-Exam session 23rd January

We would like to arrange a pre-exam session for CS612: Automated
Reasoning, before 25th:

   Place: Room 2.15
    Time: 1:00pm-2:00pm(latest)
    Date: Monday 23rd January

In this we will give feedback on your Teaching Week exercises, and you
will be able to see how you have got on with these.

You will also be able to ask other questions about the exam or the course.

(2) Open-Book Exam

As you know the CS612 exam is `open-book'. Just to confirm, this means
there is no restriction on what you may take into the exam.

Our guidelines would be to bring with you to the exam:

   o a copy of the lecture notes, together with your own notes made
     during the course
   o a copy of Kelly
 
However, being open-book does not at all alter your need for thorough
revision and related problem-solving experience.  As you will have
seen from looking at the relevant parts of past papers, the nature of
the exam assumes you have access to lectured material and so the
questions largely adopt a problem-solving style, rather than, say,
requiring a reproduction of facts (but they do not assume that you
have specific material with you).

Regarding past papers, please note that Alan's part of the course
covers similar material (resolution, Prolog etc), whereas Renate's
part of the course (advanced techniques) is different from previous
years (natural deduction, the Lego system etc).

regards,

Alan and Renate.