Laboratory Sessions

• Week 2: Introductory Haskell
  Exercises
  Script: FirstScript.hs
• Week 3: Functions on Lists
  Exercises
  Script: Lists.hs
• OPTIONAL (week 12): Haskell Code for Doing Logic
  Exercises
  Scripts: Form.hs, Tables.hs, Simp.hs.

Tutorials

• Week 4: Structural Induction
  Exercises
  
• Week 5: Finite State Machines
  Exercises
  
• Week 6: Natural Deduction and Lambda Calculus
  Exercises
  
• Week 7: Hoare Logic
  Exercises
  
• Week 9: Weakest Preconditions
  Exercises
  
• Week 10: Z
  Exercises
  
• Week 11: Turing Machines
  Exercises