Course notes.
-
Inleiding in de Wiskunde (Introduction to Mathematics),
Radboud University Nijmegen, 2014.
[pdf]
-
Course notes in Dutch used in Nijmegen.
-
Complexity Theory, Radboud University Nijmegen, 2010.
[pdf]
-
Course notes used in Amsterdam and Nijmegen.
-
Syllabus Computability Theory, Technical University of Vienna, 2004.
[pdf]
-
Course notes used in Vienna and Utrecht.
-
Éléments de Théorie de la Calculabilité, 2008.
[postscript]
[pdf]
-
French translation of the above syllabus by
Michaël Cadilhac
(in cooperation with the author).
-
Complexity and Randomness
[postscript]
[pdf]
-
Notes for a course given at the University of Auckland (Spring 2003)
and the University of Torino (Fall 2003).
Appeared in Rendiconti del Seminario Matematico di Torino
Vol. 62 No. 1 (2004) 1-38.
Current.
Radboud University Nijmegen. For information about
current courses see the
Brightspace pages of the university.
For Mastermath courses see
elo.mastermath.nl
Past.
Mastermath
2014-2015.
Course in Computability Theory
(jointly with
Henk Barendregt
).
Web page for the course.
Mastermath
2010-2011.
Course in Complexity Theory
(jointly with
Krzysztof Pietrzak
from CWI).
Web page for the course.
Radboud University Nijmegen, 2010.
Handout
for a course in game theory (in Dutch).
University of Amsterdam, 2008.
Handout
proof methods in computer science.
University of Vienna, 2008,
Einführung in die mathematische Logik
TU Vienna, 2007,
the computability theory part of the course
Gebiete der mathematischen Logik
Utrecht University, 2006-2007,
Master Class
Computability Theory / Proof Theory