[an error occurred while processing this directive]
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

[an error occurred while processing this directive] englishicon
 


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