The Final Exam - Wednesday, 12 November 2008

• The paper
  As printed, in 2-up format and in compact form.
• Index:
  

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

The Mid-semester Quiz

• The paper
  As printed.