The Final Exam - Friday, 18 November 2011

• The paper
  As printed and compact form.
  There is also a version with answers to most questions, and answers to the Hoare logic and WP Calculus questions.
• Index:
  

  Question No.	Topic	Page No.	Marks
  1	Structural Deduction	2	12
  2	Specification in Z	6	12
  3	Hoare Logic	10	11
  4	Weakest Precondition Calculus	12	11
  5	Finite State Machines	15	13
  6	Natural Deduction	19	11
  7	Turing Machines	22	11
  8	Context Free Grammars	24	11
  9	Choice Question	26	8

The Mid-semester Quiz

• The paper
  as printed and with answers.