The following is a list of some course notes, in anti-chronological order.
A self-contained script on the Completeness
Theorem of first order logic (summer 2018).
A self-contained script on the PCP Theorem
(in German) written jointly
with Markus Latte
and Dimitri Scheftelowitsch at a seminar of
the CdE winter academy 2012/13.
A (mostly) self-contained note on Kleene
Indices (in German), as part of the course
"Logik II" in the summer term 2006.
Another documentation (again in
German) of a course of the
Deutsche
Schülerakademie. This course had the title "Define and
Conquer" and was on recursion theory and a bit of complexity
theory. It was given jointly with
Markus
Latte at the Schülerakademie Hilden 2005.
Yet another
documentation
(again in German) of a course on the lambda calculus. Again with Thomas Fischbacher.
This times the course was given at the
Schülerakademie
Hilden 2003.
The documentation was written by the participants.
Einführung
in den lambda-Kalkül, with Thomas Fischbacher.
An introduction to the lambda-calculus (in German); lecture notes
of a course
given at the CdE convention
2001.
Other teaching-like material, in anti-chronological order.
A talk on the FreeBSD ports system,
given at an informal group meeting in Southampton. Warning: since I was asked to give opinions, these slides do
contain judgemental statements.