Aktuelle Hinweise:

• Die Scheine können ab dem 04. August 2004 bei Frau Photien im Sekretariat der Abteilung Theoretische Informatik (Raum 1.117) abgeholt werden.

  Voraussetzungen für den Scheinerwerb sind >= 93 Punkte in den Hausübungen und einmal Vorrechnen in den Tutorübungen.

Dozent: Prof. Ulrich Hertrampf

Übungen: Claus Schröter

Zeit und Ort:
Di 09:45-11:15 im Raum V38.01
Do 09:45-11:15 (14-tägig) im Raum V38.01
Donnerstags-Termine: 6.5., 27.5., 3.6., 17.6., 24.6., 1.7.

Zusätzlich: Übungen in Tutorgruppen (zweistündig, alle 14 Tage) -> Übungsseite

Hörerkreis: Studenten im 2. Semester der Diplomstudiengänge Informatik und Softwaretechnik

Infoblätter und Übungsblätter befinden sich auf der Übungsseite.

Folien zur Vorlesung:

• Vorlesung vom 20.04.2004 [PS] [PDF]
• Vorlesung vom 27.04.2004 [PS] [PDF]
• Vorlesung vom 04.05.2004 [PS] [PDF]
• Vorlesung vom 06.05.2004 [PS] [PDF]
• Vorlesung vom 11.05.2004 [PS] [PDF]
• Vorlesung vom 18.05.2004 [PS] [PDF]
• Vorlesung vom 25.05.2004 [PS] [PDF]
• Vorlesung vom 27.05.2004 [PS] [PDF]
• Vorlesung vom 01.06.2004 [PS] [PDF]
• Vorlesung vom 03.06.2004 [PS] [PDF]
• Vorlesung vom 08.06.2004 [PS] [PDF]
• Vorlesung vom 15.06.2004 [PS] [PDF]
• Vorlesung vom 17.06.2004 [PS] [PDF]
• Vorlesung vom 22.06.2004 [PS] [PDF]
• Vorlesung vom 24.06.2004 [PS] [PDF]
• Vorlesung vom 29.06.2004 [PS] [PDF]
• Vorlesung vom 01.07.2004 [PS] [PDF]
• Vorlesung vom 06.07.2004 [PS] [PDF]

Schein:
Den Schein zur Vorlesung erhält, wer mindestens 50 Prozent der Punkte bei den abzugebenden Hausaufgaben erzielt und sich aktiv an den Tutorübungen (Vorrechnen von Aufgaben) beteiligt hat. Die Inhalte der Vorlesung werden außerdem im Anschluß an das Sommersemester 2004 in einer Klausur gemeinsam mit dem Stoff der Vorlesung "Logik" abgeprüft.

Literatur:

Die Vorlesung stützt sich im wesentlichen auf:

Uwe Schöning:

Theoretische Informatik - kurzgefasst
Spektrum, Heidelberg, 1992 (4. Auflage 2001).

John E. Hopcroft, Jeffrey D. Ullman:

Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie
Addison-Wesley, 1979 (3. Auflage 1994).

Ingo Wegener:

Theoretische Informatik: Eine algorithmenorientierte Einführung
Teubner, Stuttgart, 1993 (2. Auflage 1999).