Bild mit Unilogo
homeicon uni sucheicon suche siteicon sitemap kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Institut für Formale Methoden der Informatik

Abteilung Theoretische Informatik

 


Vorlesung Theoretische Informatik III (SS 2005)

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:

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

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).