The Final Exam - Friday, 10 November 2006

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

  Question No.	Topic	Page No.	Marks
  1	Structural Induction	2	20
  2a,b,c,d	Natural Deduction	6	12
  2e	Lambda Calculus	9	4
  3a,b,c	Hoare Logic	10	9
  3d	wp Calculus	12	11
  4a,b	Finite State Machines	15	9
  4c	Specification in Z	16	11
  5a	Computability	19	8
  5b	Push Down Automata	20	8
  5c	Prolog	22	8
  5d	Turing Machine Analysis	24	8
  5e	Turing Machine Synthesis	26	8
  5f	Relational Algebra	27	8

The Mid-semester Quiz

• The paper
  As printed.