The Final Exam - Thursday, 15 November 2007

• The paper
  As printed and in compact form.
• Index:
  

  Question No.	Topic	Page No.	Marks
  1a,b	Structural Induction	2	14
  1c,d	Lambda Calculus	6	5
  2a,b,c,d	Natural Deduction	9	14
  2e	Specification in Z	11	9
  3a,b,c,d	Hoare Logic	13	10
  3e	wp Calculus	16	10
  4a	Finite State Machines	19	13
  4b	Turing Machine Analysis	22	7
  5a	Computability	24	6
  5b	Turing Machine Synthesis	25	6
  5c	Push Down Automata	26	6
  5d	Grammars	28	6
  5e	Prolog	30	6

The Mid-semester Quiz

• The paper
  As printed.