Dr. Michael Arndt

Adresse:

Wilhelm-Schickard-Institut

Universität Tübingen
Sand 13
D-72076 Tübingen

Raum: B136 (Erdgeschoß)
Tel.: +49-7071-29-77365
Fax: +49-7071-29-5060
Email: arndtspam prevention@informatik.uni-tuebingen.de

 

Interessengebiete

 

Zurückliegende Veranstaltungen

 

Proseminar: Einführung in die Logik (SS 17)

Termin: Dienstag, 14 Uhr c.t.
Ort: Kupferbau, Hörsaal 21

Tutorien zur Veranstaltung:

Klausur:

Termin: 1. August 2017, 14 Uhr c.t.
Ort: Kupferbau, Hörsaal 22

Resultate der Klausur

Literatur:

Grundlegendes:


Weiterführendes:

 

Vorlesung: Mathematische Logik (WS 15/16)

Termin: Freitag, 15Uhr c.t.
Ort: Sand 6, Hörsaal 1

Übungsgruppe zur Vorlesung:

Montag 12 Uhr c.t., Sand 6, Hörsaal 2
Abgabe der Übungen: freitags um 20 Uhr per eMail an die Tutoren

Klausur:

Termin: 15. Februar 2016, 16 Uhr c.t. (16:15 Uhr)
Ort: Sand 6, Hörsaal 1

Literatur:

 

Vorlesung: Lambda-Kalkül und Kombinatorische Logik (SS 15)

Termin: Montag, 12 Uhr c.t.
Ort: Sand 6, Hörsaal 2

Übungsgruppe zur Vorlesung:

Termin: Montag, 10 Uhr c.t.
Ort: Sand 6, Hörsaal 2

Klausur:

Termin: 27. Juli 2015, 12 Uhr c.t.
Ort: Sand 6, Hörsaal 2

Literatur:

 

Vorlesung: Mathematische Logik (WS 14/15)

Termin: Mittwoch, 16 Uhr c.t.
Ort: Sand 6, Hörsaal 1

Übungsgruppen zur Vorlesung:

Abgabe der Übungen: mittwochs um 20 Uhr per eMail an die Tutoren

Klausur:

Termin: 18. Februar 2015, 9 Uhr s.t. (9:00 Uhr)
Ort: Morgenstelle, Hörsaal N5

Literatur:

 

Proseminar: Einführung in die Logik (WS 13/14)

Termin: Dienstag um 10 Uhr c.t.
Ort: Neue Aula, Hörsaal 9

Literatur:

Grundlegendes:

Weiterführendes:

 

Vorlesung: Communication, Mobility, Parallelism: Introduction to the π-Calculus (SS 13)

Termin: Montag um 15 Uhr c.t.
Ort: Sand 6, Seminarraum 2 (F118)

Übungsgruppe zur Vorlesung:

Termin: Donnerstag um 14 Uhr c.t.
Ort: Sand 6, Seminarraum 2 (F118)

Literatur: