The Final Exam - Wednesday, 11 November 2009

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

  Question No.	Topic	Page No.	Marks
  1	Natural Deduction	2	13
  2	Structural Induction	5	12
  3	Hoare Logic	9	12
  4	wp Calculus	11	13
  5	Lambda Calculus & Types	13	12
  6	Finite State Machines	17	13
  7	Grammars	19	12
  8	Turing Machines	21	13

The Mid-semester Quiz

• The paper
  As printed.