Vorlesung: Lambda Calculus and Combinatory Logic (WS18/19)

Beginn: ganztägige Kompaktveranstaltung, voraussichtlich 4.-9. März 2019.

Ort: tba

Klausur: tba

Dozent: T. Piecha

Tutor: N. Clarius

Moodle webpage

Beschreibung im Campus (Portal für Studium und Lehre)

Proseminar: Philosophische Logik: Wahrheit und Beweis (SS18)

Beginn: Do 19.4. 10-12 Uhr

Ort: Alte Burse, Melanchthonzimmer

Dozenten: Dr. L. Tranchini

Beschreibung im Campus (Portal für Studium und Lehre)

Seminar: Mathematical and Philosophical Logic (SS18)

Planning meeting: Thursday, 26 April 2018, 18:00 hrs, Room B109, WSI, Sand 13 (entrance: Sand 1), ground floor.

Dozent: Prof. P. Schroeder-Heister

Beschreibung im Campus (Portal für Studium und Lehre)

Oberseminar: Logik und Sprachtheorie