Theoretische Informatik und Logik Sommersemester 2012

Aktueller Hinweis

Wiederholungsklausur

Die Einsichtnahme der Wiederholungsklausur vom 15.2.2013 findet Mittwoch dem 10.04.2013 von 17:00-17:30 Uhr in Raum N3027 statt.

Lernräume

Mittwoch, 18.07.12, [14.00-16.00] INF/E006 (M. Voigt, ThI)+ INF/E007 (R. Brendel, ThI) + Dr. B. Fronhöfer (Logik)

Klausur

Die ThIL-Klausur findet für alle Teilnehmer am Mittwoch, dem 25.07.12, 09:20-10:50 Uhr, im Mathematikhörsaal, Trefftz-Bau (TRE/MATH/H), Zellescher Weg 16, statt.

Hinweise zur Klausur:

Die Möglichkeit zur Einsicht in die Klausur vom 25.07.2012 besteht am Montag, dem 22.10.12, von 18:15 bis 18:45 Uhr im Raum INF/3027.

• alle Taschen, Mäntel und Anoraks sind am Rand des Hörsaals zu deponieren.
• Handys sind auszuschalten und ebenfalls am Rand zu deponieren.
• Bitte nehmen Sie 15 min vor Beginn der Klausur Ihren Platz ein.
• Es sind keinerlei Unterlagen bzw. elektronische Geräte zur Klausur zugelassen.
• Es darf nicht mit Bleistift geschrieben werden.

Vorlesung

Mo., 2.DS [09.20-10.50] GÖR/226
Mi., 3.DS [11.10-12.40] HSZ/04

Die Vorlesung wird in zwei Teilen gelesen. Der erste Teil der Vorlesung wird von Herr Prof. Dr. Hölldobler gehalten; der zweite beginnt am 4. Juni 2012 und wird von Frau Prof. Dr. Baier gelesen.

Anrechnung

Die Vorlesung ist eine Pflichtveranstaltung im Bachelor- und Diplomstudiengang Informatik (Module INF-D-330 und INF-B-290).

Erster Teil (Herr Prof. Dr. Hölldobler):

In diesem Teil der Vorlesung diskutieren wir verschiedene weitergehende Aspekte aus dem Gebiet der Logik. Insbesondere sind dies Prädikatenlogik erster Stufe, Beweisverfahren in der Prädikatenlogik erster Stufe, Beschreibungslogik und Theorie der Logikprogrammierung.

Zweiter Teil (Frau Prof. Dr. Baier):

In diesem Teil werden grundlegende Aspekte des algorithmischen Problemlösens, der Berechenbarkeit und der Entscheidbarkeit sowie der Komplexität (insb. P-NP Problem) diskutiert.

Übungen

Das Einschreiben in die einzelnen Übungsgruppen erfolgt über jExam und ist verbindlich. Die Einschreibung gilt dabei für den ersten und den zweiten Teil der Vorlesung, d.h. es ist keine Neueinschreibung für den zweiten Teil notwendig.

Übersicht zu den Übungszeiten:

Wochentag	DS	Ort	Übungsleiter
montags	6. DS	INF/E07	Ronny Brendel
mittwochs	2. DS	INF/E10	Bianca Preißler
donnerstags	4. DS	INF/E07	Dr. W. Nauber
freitags	4. DS	INF/E10	Marco Voigt

Die erste Übung findet am Mittwoch, den 6. Juni 2012, 2. DS, INF/E10, statt.

Mailingliste

Für Fragen und Diskussionen rund um die Vorlesung bezüglich organisatorischer und inhaltlicher Themen existiert eine Mailingliste. Hörerinnen und Hörer der Vorlesung werden gebeten, sich mit ihrer TU-Adresse auf dieser Liste zu registrieren.

Kontakt

Bei weitergehenden Fragen, welche nicht im Rahmen der Mailingliste beantwortet werden können, wenden Sie sich bitte an Dr. Nauber.