Course Notes

• A documentation (in German) of a course of the Deutsche Schülerakademie Urspring 2009. This course was about regular languages and finite automata. It was given jointly with Markus Latte.
• 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

• A Note on Böhm's Theorem, with Felix Joachimksi. A short proof of Böhm's Theorem without the use of infinite objects; not to be published, as Böhm's original proof does not use infinite objects either. January 2002. (pdf)

• 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.
• A lecture on Proof Notations, given at the Fall School in Logic 2008.

$Date: 2011/09/22 16:33:33 $