http://www.tu-ilmenau.de

Logo TU Ilmenau


INHALTE

Logik und Logikprogrammierung

Mitteilungen

Die Klausureinsicht zur Wiederholungsprüfung findet am 06.11.2015 zwischen 9:00 und 11:00 im Raum Z1050 statt. 

 

Die Klausurergebnisse von "Logik und Logikprogrammierung" sind im System eingetragen und über die Thoska Karte abrufbar. Die Ergebnisse finden Sie auch am Aushang des Institut TI.

 

Die Klausur findet am 20.07.2015, 16:00 - 18:30 Uhr im Hs 2 statt. Genauere Informationen finden Sie hier.

Am 15.6. findet die erste Vorlesung von Prof. Knauf zur Logikprogrammierung statt.

Die Klausureinsicht zu den Vorlesungen Automaten, Sprachen und Komplexität (ASK), Automaten und Formale Sprachen (AFS), Berechenbarkeit und Komplexität (BuK), Formale Sprachen und Komplexität (FSuK) und Logische Strukturen (LS) fand am Donnerstag, dem 23.04.2015 statt.

Materialien

Vorlesungsfolien

Zur Ansicht der Vorlesungsfolien bitte oben rechts einloggen.

Termine

Vorlesungen:

Montag, 17:00 - 18:30 Uhr, K-Hs 2,Prof. D. Kuske

Freitag (U), 13:00 -14:30 Uhr, K-Hs 2

Übungen:

Dienstag, 09:00 - 10:30 Uhr, Sr K 2003A,R. Mennicke

Freitag, 09:00 - 10:30 Uhr, Sr K 2026