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

Skript

Übung: Mo 14-16 Uhr, Ort: F122, Sand 6, Beginn: 28.4.

1. Übungsblatt

2. Übungsblatt

3. Übungsblatt, Dualität und Normalformen

4. Übungsblatt

5. Übungsblatt

6. Übungsblatt

7. Übungsblatt

8. Übungsblatt

9. Übungsblatt

10. Übungsblatt

11. Übungsblatt

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

Password-protected materials


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

Skript


Proseminar zur Vorlesung Philosophische Logik

Fr 14-16, Ort: Alte Archäologie - Übungsraum 10, Beginn: 25.4.

Dozent: T. Piecha

1. Übungsblatt

2. Übungsblatt

3. Übungsblatt

4. Übungsblatt

5. Übungsblatt

6. Übungsblatt

7. Übungsblatt

8. Übungsblatt

9. Übungsblatt

10. Übungsblatt


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

Password-protected materials


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.