Teaching

Lecture notes

 

Courses

Wintersemester 2017/18

  • Vorlesung: Lambda Calculus and Combinatory Logic
  • Übungen zur Vorlesung Lambda Calculus and Combinatory Logic

Sommersemester 2017

  • Vorlesung: Philosophische Logik: Ausgewählte Themen
  • Proseminar zur Vorlesung Philosophische Logik

Wintersemester 2016/17

  • Vorlesung: Mathematische Logik
  • Übungen zur Vorlesung Mathematische Logik

Sommersemester 2016

  • Vorlesung: Lambda Calculus and Combinatory Logic
  • Übungen zur Vorlesung Lambda Calculus and Combinatory Logic

Wintersemester 2015/16

  • Vorlesung: Einführung in die Logik
  • Übungen zur Vorlesung Einführung in die Logik

Sommersemester 2014

  • Vorlesung: Philosophische Logik: Ausgewählte Themen
  • Proseminar zur Vorlesung Philosophische Logik

Sommersemester 2013

  • Seminar: Philosophie der Mathematik (mit Prof. Schroeder-Heister)

Wintersemester 2012/13

  • Vorlesung: Three Lectures on Dialogues (IHPST, CNRS ⋅ Université Paris 1 ⋅ ENS,  Paris 2013)
  • Übungen zur Vorlesung Mathematische Logik

Sommersemester 2012

  • Vorlesung: Theoretische Grundlagen der Logikprogrammierung
  • Übungen zur Vorlesung Theoretische Grundlagen der Logikprogrammierung
  • Betreuung von Studenten im Seminar Mathematische Logik von Prof. Schroeder-Heister

Wintersemester 2010/11

  • Betreuung von Studenten im Seminar Mathematische und Philosophische Logik von Prof. Schroeder-Heister

Sommersemester 2011

  • Vorlesung: Theoretische Grundlagen der Logikprogrammierung
  • Übungen zur Vorlesung Theoretische Grundlagen der Logikprogrammierung

Sommersemester 2010

  • Vorlesung: Beweise und Widerlegungen in der formalen Logik
  • Übungen zur Vorlesung Beweise und Widerlegungen in der formalen Logik

Sommersemester 2008

  • Vorlesung: Beweise und Widerlegungen in der formalen Logik
  • Übungen zur Vorlesung Beweise und Widerlegungen in der formalen Logik

Wintersemester 2007/08

  • Vorlesung: Einführung in die Logik (mit Prof. Schroeder-Heister)
  • Übungen zur Vorlesung Einführung in die Logik

Wintersemester 2006/07

  • Seminar: Philosophie der Berechenbarkeit (mit Prof. Schroeder-Heister)

Wintersemester 1999 bis Sommersemester 2006

  • Tutor für diverse Lehrveranstaltungen zur Logik