The Final Exam - Monday, 8 November 2010

• The paper
  As printed and in compact form.
  There is also a version with some answers.
• Index:
  

  Question No.	Topic	Page No.	Marks
  1	Natural Deduction	2	12
  2	Structural Induction	5	13
  3	Specification in Z	9	11
  4	Hoare Logic	12	11
  5	wp Calculus	14	11
  6	Finite State Machines	16	12
  7	Turing Machines	18	12
  8	Grammars	20	10
  9	Pushdown Automata, Lambda Calculus or Prolog	22	8

The Mid-semester Quiz

• The paper
  As printed, and a version with answers.