Vorlesung über "Informatik I"

Die Vorlesung Informatik I schließt sich an den Programmierkurs Java an. Es werden u.a. folgende Themen behandelt:

• Problemspezifikation
• Programmentwurf
• Verifikation von Programmen
• Analyse von Algorithmen
• Abstrakte Datentypen
• Such- und Sortieralgorithmen

Bei weiteren Fragen, die Sie auf diesen Seiten nicht beantwortet sehen, können Sie sich per E-Mail an Prof. E. Speckenmeyer wenden.

Termine

• Mittwochs 13.15 - 14.45 Uhr und donnerstags 13.30-15.00 Uhr im Hörsaal II der Physikalischen Institute.
• Übungen: nach Vereinbarung, im Pohlighaus; Betreuer: Dr. Bert Randerath

Literatur

• Gumm/Sommer: Einführung in die Informatik, ab 3. Aufl., Oldenbourg Verlag, 1999
• Aho/Hopcroft/Ullman: Data Structures and Algorithms, Addison Wesley, 1983
• R. Sedgewick: Algorithms, Addison Wesley, ab 1988 (mehrere Auflagen, auch in deutscher Sprache)
• Cormen/Leiserson/Rivest/Stein: Introduction to Algorithms, 2. Aufl. MIT-Press, 2001
• Ottmann/Widmayer: Algorithmen und Datenstrukturen, 4. Aufl. Spektrum Verlag, 2002