Dozent:  Prof. Ulrich Hertrampf

Übungen:  Michael Luttenberger

Zeit und Ort:
Di 11:30-13:00 im Raum V38.01
(wöchentlich)
Do 11:30-13:00 im Raum V38.01
(vorläufige Donnerstagstermine: 21.4., 19.5., 2.6., 16.6., 30.6., 7.7. Änderungen werden ggf. in der Vorlesung bekannt gegeben.)

Vorlesungsskript:

• 1.Teil (Algorithmentheorie): PS, PDF, PDF 1x2, PDF 2x2
• 2.Teil (Komplexitätstheorie): PS, PDF, PDF 1x2, PDF 2x2
• 3.Teil (Formale Semantik):
  • Teil a: PS, PDF, PDF 1x2, PDF 2x2
  • Teil b: PS, PDF, PDF 1x2, PDF 2x2

Hörerkreis:  Studenten im 4. Semester des Diplomstudiengangs Softwaretechnik

Übungsblätter befinden sich auf der Übungsseite.

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.

Literatur:  

•  Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Cliff Stein. Introduction to Algorithms. 2. Auflage, MIT Press, 2001.
•  Thomas Ottmann, Peter Widmayer. Algorithmen und Datenstrukturen. 4. Auflage, Spektrum, 2002.
•  U. Schöning. Algorithmik. Spektrum Akademischer Verlag, 2001.
•  C. Papadimitriou. Computational Complexity. Addison-Wesley Publishing Company, 1994.
•  Glynn Winskel. The Formal Semantics of Programming Langugages. MIT Press, 1993 (2. Auflage 1994).