Fifth exercise
sheet. Based on a previous examination question. For the problem
class on Wednesday 8th December. Answers.
Here are some alternative notes on logic (pdf
version). They were obtained, with permission, from Dr. Ian Hodkinson,
Computing, Imperial College. The most relevant sections are 6, 7, 8
and 9.
And here are some extra notes on predicate tableaux. (The material
on predicate logic starts on page 12).
For some reason the 2006 exam paper is not posted at the library.
Here are Robin
Hirsch' questions and here is John
Dowell's question. In the real exam you have to answer both of my
questions plus one question from John Dowell.
Lots of additional material from the ArsDigita
University on automata and regular languages (this covers a large part
of COMP3004 too).