 |
Vorlesung Theoretische Informatik III (SS 2004)
Dozent:
Prof. Ulrich Hertrampf
Übungen:
Alin Stefanescu
Zeit und Ort:
Di 11:30-13:00 im Raum V38.01 (wöchentlich)
Do 11:30-13:00 im Raum V38.01
(an folgenden Terminen: 6.5., 27.5., 3.6., 17.6., 24.6., 1.7.)
Vorlesungsskript:
1. Vorlesung (20.4.2004)
[PS][PDF]
2. Vorlesung (27.4.2004)
[PS][PDF]
3. Vorlesung (4.5.2004)
[PS][PDF]
4. Vorlesung (6.5.2004)
[PS][PDF]
5. Vorlesung (11.5.2004)
[PS][PDF]
6. Vorlesung (18.5.2004)
[PS][PDF]
7. Vorlesung (25.5.2004)
[PS][PDF]
8.-12. Vorlesung (27.5.-15.6.2004)
[PS][PDF]
13./14. Vorlesung (17.6./22.6.2004)
[PS]
[PS mit vier Folien auf einer Seite]
15./16. Vorlesung (24.6./29.6.2004)
[PS]
[PS mit vier Folien auf einer Seite]
17.-19. Vorlesung (1.7.-13.7.2004)
[PS]
[PS mit vier Folien auf einer Seite]
20. Vorlesung (20.7.2004)
[PS]
[PDF]
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).
|
|