Aktuelle Lehrveranstaltungen

Vorlesung: Mathematische Logik (Grundlagen der Logik: Math. Logik I) (WS17/18)

Beginn: Vorlesung Mo 16.10. 17-19 Uhr, Tutorium Do 12-14 Uhr

Ort: Sand 14, Seminarraum C215

Klausur: Mo 12.2., Sand 6, F119 (Hörsaal 1)

Dozent: Prof. P. Schroeder-Heister

Tutor: R. Gazzari

 

Moodle webpage

 

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

 


Vorlesung: Advanced Mathematical Logic (WS17/18)

Beginn: TBA, Block nach Semesterende

Ort:

Dozent: Prof. P. Schroeder-Heister

 

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

 


Vorlesung: Lambda Calculus and Combinatory Logic (WS17/18)

Beginn: Vorlesung Fr 20.10. 14-16 Uhr, Tutorium Fr 16-18 Uhr

Ort: Sand 6, Raum F122 (Hörsaal 2)

Klausur: Fr 9.2., 14-16 Uhr, Sand 6, Raum F122 (Hörsaal 2)

Dozent: T. Piecha

Tutor: N. Clarius

 

Moodle webpage

 

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

 


Proseminar: Gottlob Frege: Texte zur Logik und Sprachphilosophie (WS17/18)

Beginn: Fr 20.10. 12-14 Uhr

Ort: Alte Burse, Raum X

Dozenten: Prof. P. Schroeder-Heister, Dr. L. Tranchini

 

Moodle webpage

 

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

 


Seminar:Mathematical and Philosophical Logic (WS17/18)

Planning meeting: Thursday 26.10. 18h00, 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