Course by Henk Barendregt (odd weeks) and Jaap van Oosten (even weeks)

February-June 2010

For general information, see Course information.

Lecturenotes by Jaap van Oosten

Extra slides by Henk Barendregt

Week1
Reflection

Week1 Overview
Incompleteness Theorem

Week3 provability

Week5 computability

Week7 Peano
arithmetic

Week9
Representable functions

Week11
The second incompleteness theorem

Week13
Do it yourself

Huygens Lecture by Henk Barendregt

Reflection:
a powerful ubiquitous logical phenomenon

August 31-November 2, 2009.

Mondays (lectures) 17:30-19:30, HG 307;

Wednesdays (practicum) 15:45-17:30, HG 303.

Survey: slides (in Dutch)

Lecture
notes lambda calculus, by Henk Barendregt and Erik Barendsen (1998/2000)

Turing
Machines for students cognitive neuroscience

Minicourse Lambda Calculus and term rewriting systems

by H.P. Barendregt and J.W. Klop 16.02.2009-20.02.2009 (slides of lambda calculus part)

Han Fortmann Lectures: The
Mind on the Brain and the Brain on the Mind

by Henk Barendregt and Karin Videc (January-March 2009)

Homepage