LECTURES: Dr James McKinna and Dr. Stephane Lengrand
TUTORIALS, Question sheets and marking: Dr. Stephane Lengrand
PRACTICALS, Question sheets and marking: Dr. James McKinna
LECTURES 
TUTORIALS

06/02/2007, Lecture 0: Module Overview


06/02/2007, Lecture 1: Review of logic, syntax and semantics


12/02/2007, Lecture 2: Propositional logic  The notion of proof in
Natural Deduction


13/02/2007, Lecture 3: Writing down prooftrees (Dr. James McKinna)

13/02/2007, Tutorial 1 .pdf

20/02/2007, Lecture 4: Intuitionistic vs. classical logic 
Decorating prooftrees with variables and terms


2627/02/2007, Lecture 5: Predicate Logic .pdf


02/03/2007, Lecture 6: Predicate Logic 
Semantical notions, equality & conclusion

06/03/2007, Tutorial 2 .pdf

12/03/2007, Lecture 7: Induction


20/03/2007, Lecture 8: Lambdacalculus (Dr. James McKinna)

14/04/2007, Demonstration: Insert Sort, or how to extract the program from
the proof Insert_Sort.v

10/04/2007, Lecture 9: From Lambdacalculus to Coq (Dr. James McKinna)

17/04/2007, Tutorial 3 .pdf
