course material logical verification 2008 - 2009
This page contains
the course material for the course logical verification 2008 - 2009.
Some material is only in the slides.
There is no course on Friday September 5, 2008 (week 36).
That day is the
Symposium in honour of N.G. de Bruijn
at the TU/e Eindhoven on Friday September 5, 2008.
lecture 1: first-order propositional logic
lecture 2: simply typed lambda calculus
lecture 3: dynamics and variants
lecture 4: inductive types
lecture 5: inductive predicates
-
course: Friday October 10, 2008
-
practical work: Thursday October 16, 2008
-
deadline for the practical work 5:
Tuesday October 28 (! because of the autumn break), 2008 at 12.00
-
(no new course notes)
-
slides
week 5
-
answers
to the practical work week 5
lecture 6: first-order predicate logic and program extraction
-- autumn break--
lecture 7: lambda calculus with dependent types
lecture 8: lambda calculus with dependent types
lecture 9: lambda calculus with dependent types and
second-order propositional logic
lecture 10: polymorphic lambda calculus
lecture 11: cancelled
-
course: Friday November 28, 2008 cancelled
-
practical work: Thursday December 4, 2008
-
deadline for the practical work 11:
Tuesday December 9, 2008 at 12.00
lecture 12: prop2 and lambda2
-
course: Friday December 5, 2008
-
practical work: Thursday December 11, 2008
-
deadline for the practical work 12:
Tuesday December 12, 2008 at 12.00
-
(no new course notes)
-
slides
week 12
question hour: