Teaching
Material of past courses
| SS19 | WS18/19 | SS18 | WS17/18 | SS17 | WS16/17 | ||||
| SS16 | WS15/16 | SS15 | WS14/15 | SS14 | WS13/14 | SS13 | WS12/13 | SS12 | WS11/12 |
| SS11 | WS10/11 | SS10 | WS09/10 | SS09 | WS08/09 | SS08 | WS07/08 | SS07 | WS06/07 |
| SS06 | WS05/06 | SS05 | WS04/05 | SS04 | WS03/04 | SS03 | WS02/03 | SS02 | WS01/02 |
| SS01 | WS00/01 | SS00 | WS99/00 | SS99 | WS98/99 | SS98 | WS97/98 | SS97 | WS96/97 |
| SS96 | WS95/96 | SS95 | WS94/95 | SS94 | WS93/94 | SS93 | WS92/93 | SS92 | WS91/92 |
Lecture notes
Peter Schroeder-Heister:
- Einführung in die Logik (WS95/96 + WS98/99 - WS00/01 + WS07/08)
- Logik II (SS00)
- Lambda-Kalkül und Kombinatorische Logik (SS97 - SS00 + SS02 + SS04)
- Formale Sprachen und Berechenbarkeit (Informatik III)
- Mathematische Logik I (WS07/08 - WS17/18)
- Mathematische Logik II: Gödelsche Unvollständigkeitssätze (SS09)
Thomas Piecha:
- Beweise und Widerlegungen in der formalen Logik (SS08 + SS10)
- Three Lectures on Dialogues (Paris, 2013)
- Philosophische Logik: Ausgewählte Themen (SS14)
- Einführung in die Logik (WS15/16)
- Lambda-Kalkül und Kombinatorische Logik (SS16 + WS17/18)
- Philosophische Logik: Ausgewählte Themen (SS17)
- Lambda Calculus and Combinatory Logic (WS17/18 + WS18/19)
- On Intuitionistic Logic and Dialogue Semantics (Belgrade, 2018)
- Theoretische Grundlagen der Logikprogrammierung (SS11 + SS12 + SS18)
- Introduction to Resolution and Logic Programming (Belgrade, 2018)
- Constructive Logics: Proof-Theoretic Semantics and Dialogue Semantics (Rio de Janeiro, 2020)
- Unvollständigkeit und Unentscheidbarkeit (SS20)