Lecture notes
Courses
Sommersemester 2024
- Vorlesung: Einführung in die Logik
- Übungen zur Vorlesung Einführung in die Logik
Wintersemester 2023/24
- Vorlesung: Lambda-Kalkül und Kombinatorische Logik
- Übungen zur Vorlesung Lambda-Kalkül und Kombinatorische Logik
Sommersemester 2023
- Vorlesung: Einführung in die Logik
- Übungen zur Vorlesung Einführung in die Logik
Sommersemester 2022
- Vorlesung: Einführung in die Logik
- Übungen zur Vorlesung Einführung in die Logik
Wintersemester 2021/22
- Vorlesung: Lambda-Kalkül und Kombinatorische Logik
- Übungen zur Vorlesung Lambda-Kalkül und Kombinatorische Logik
Sommersemester 2021
- Vorlesung: Einführung in die Logik
- Übungen zur Vorlesung Einführung in die Logik
Sommersemester 2020
- Vorlesung: Einführung in die Logik
- Übungen zur Vorlesung Einführung in die Logik
- Seminar: Die Grenzen der Berechenbarkeit (mit Prof. Kahle)
- Vorlesung: Constructive Logics: Proof-Theoretic Semantics and Dialogue Semantics (PUC Rio de Janeiro)
Wintersemester 2019/20
- Seminar: Self-Reference / Karl R. Popper's Logical Writings (University of Belgrade, December 2019)
Wintersemester 2018/19
- Vorlesung: Lamda Calculus and Combinatory Logic
- Übungen zur Vorlesung Lamda Calculus and Combinatory Logic
- Vorlesung: Introduction to Resolution and Logic Programming (University of Belgrade, October/November 2018)
- Vorlesung: Lambda Calculus (University of Belgrade, November 2018)
Sommersemester 2018
- Vorlesung: Theoretical Foundations of Logic Programming
- Übungen zur Vorlesung Theoretical Foundations of Logic Programming
- Vorlesung: On Intuitionistic Logic and Dialogue Semantics (University of Belgrade, April 2018)
Wintersemester 2017/18
- Vorlesung: Lambda Calculus and Combinatory Logic
- Übungen zur Vorlesung Lambda Calculus and Combinatory Logic
- Betreuung von Studenten im Seminar Mathematical Logic von Prof. Schroeder-Heister
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