Logik und Sprachtheorie

Dr. Michael Arndt

Adresse:
Universität Tübingen
Wilhelm-Schickard-Institut 
für Informatik
Sand 13
D-72076 Tübingen
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:

Privacy settings

Our website uses cookies. Some of them are mandatory, while others allow us to improve your user experience on our website. The settings you have made can be edited at any time.

or

Essential

in2code

Videos

in2code
YouTube
Google