Sommersemester 2014
Vorlesung: Mathematische Logik I
Beginn: Mi 9.4., 16 Uhr c.t.-18 Uhr, Ort: Hörsaal 1 F119, Sand 6
Dozent: Prof. P. Schroeder-Heister
Übung: Mo 14-16 Uhr, Ort: F122, Sand 6, Beginn: 28.4.
3. Übungsblatt, Dualität und Normalformen
12. Übungsblatt (zur Klausurvorbereitung; ohne Abgabe)
Information zur Wiederholungsprüfung: Die Wiederholungsprüfung findet als Klausur statt, am 8.10.2014, 14-16 Uhr im Hörsaal 2 (F122), Sand 6.
An dieser Prüfung können diejenigen teilnehmen, die die Klausur am 15.7.2014 nicht bestanden haben (das schließt diejenigen ein, die nicht zur Klausur erschienen sind). Voraussetzung für die Teilnahme an der Wiederholungsprüfung ist eine Anmeldung bis zum 26.9.2014 per e-mail beim Veranstalter, Prof. Schroeder-Heister (pshspam prevention@uni-tuebingen.de).
Seminar: Mathematical Logic
Planning meeting: 9 April 2014, Room B109, Department of Computer Science, Sand 13
Dozent: Prof. P. Schroeder-Heister
Vorlesung: Lambda Calculus and Combinatory Logic
Mo 12-14, Ort: F118 Seminarraum 2, Sand 6
Dozent: Dr. M. Arndt
Vorlesung: Philosophische Logik: Ausgewählte Themen
Fr 10-12, Ort: Alte Archäologie - Übungsraum 10, Beginn: 11.4.
Dozent: T. Piecha
Proseminar zur Vorlesung Philosophische Logik
Fr 14-16, Ort: Alte Archäologie - Übungsraum 10, Beginn: 25.4.
Dozent: T. Piecha
Proseminar: Michael Dummett: Selected Readings on Logic and Philosophy of Language
Fr 12.30-14, Ort: Alte Archäologie - Übungsraum 10
Dozent: Dr. L. Tranchini
Oberseminar: Logik und Sprachtheorie
Raum und Zeit: Das Oberseminar findet in der Regel montags um 17 Uhr c.t. im Forum Scientiarum, Doblerstr. 33, Kleiner Seminarraum statt.
Besprechung von neueren Publikationen und Examensarbeiten sowie Gastvorträge.
Interessierte können sich per e-mail an Thomas Piecha in den Einladungsverteiler eintragen lassen.