Wintersemester 1999/2000

Vorlesung: Informatik I

Professor: W. Kluge

Termin, Ort

• Di 9-11; Hebbel-Hörsaal (Alte Mensa, 1.Stock),
• Do 10-11; Hebbel-Hörsaal (Alte Mensa, 1.Stock).

Übungen

• Mo 14-16; Wilhelm-Seelig-Platz 1, Raum 506 (ÜL: Nils Gruschka),
• Mo 14-16; Wilhelm-Seelig-Platz 3, Raum 7 (ÜL: Marcel Kyas),
• Mo 14-16; Haus I, Raum 304 (ÜL: Kai Petersen),
• Mi 14-16; Haus I, Raum 304 (ÜL: Clemens Grelck),
• Do 14-16; Wilhelm-Seelig-Platz 3, Raum 2 (ÜL: Dietmar Kreye),
• Fr 14-16; Ü1 (ÜL: Florian Reuter).

Rechnerzeiten

• Die Einteilung der Rechnerzeiten hängt an der Tür des Rechnerraumes (Haus I, Raum 105) aus.

Voraussetzungen für den Erwerb des Übungsscheines

• Aktive Teilnahme an den Übungen,
• Richtiges Lösen der Hälfte sowohl der theoretischen Aufgaben als auch der Programmieraufgaben,
• Klausur (möglicherweise am Rechner!).

Entgültige Klausur-/Kolloqium-Ergebnisse (siehe auch Aushang im Haus I, Erdgeschoss)

Materialien zur Vorlesung

• Wer das nachfolgend aufgeführte Unterrichtsmaterial zu Hause sichten und ausdrucken möchte und keinen Postscript-fähigen Drucker besitzt, benötigt Ghostscript und Ghostview. Außerdem gibt es eine Kopiervorlage, die gegen Pfand ausgeliehen werden kann (Fachschaft oder Haus I, Zimmer 507).
• pi-RED:
  • Dokumentation: A User's Guide for the Reduction System pi-RED [ps-gz].
  • Distributionen.
• Lambda-Kalkül:
  • Auszug aus dem Buch Kluge: The Organization of Reduction, Data Flow and Control Flow Systems, MIT Press, 1992 [ps-gz].
• Folien:
  • Folie 1 [ps-gz].
  • Folie 2 [ps-gz].
  • Folie 3 [ps-gz].
  • Folie 4 [ps-gz].
  • Folie 5 [ps-gz].
  • Folie 6 [ps-gz].
  • Folie 7 [ps-gz].
  • Folie 8 [ps-gz].
  • Folie 9 [ps-gz].
  • Folie 10.1, Folie 10.2, Folie 10.3, Folie 10.4, Folie 10.5, Folie 10.6 [ps-gz].
  • Folie 11 [ps-gz].
• Übungszettel:
  • Einführung in UNIX (Serie 0) [ps-gz].
  • Serie 1 [ps-gz].
  • Serie 2 [ps-gz].
  • Serie 3 [ps-gz].
  • Serie 4 [ps-gz].
  • Serie 5 [ps-gz].
  • Serie 6 [ps-gz].
  • Serie 7 [ps-gz].
  • Serie 8 [ps-gz].
  • Serie 9 [ps-gz].
  • Serie 10 [ps-gz].

Literatur zur Vorlesung

• Einige der nachfolgend aufgeführten Bücher sind auch in deutscher Übersetzung erhältlich, zum Beispiel [1], [5] und [7]. Leider ist zumindest die Übersetzung von [5] derart mißraten, daß vom Kauf der deutschen Version dringend abzuraten ist!
• UNIX:
  1. D. Gilly: UNIX in a Nutshell, O'Reilly, 1992.
  2. UNIX - Einführung, RRZN.
• Logik:
  3. Chang, Lee: Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1973.
• pi-RED:
  4. Kluge: A User's Guide for the Reduction System pi-RED, CAU, Bericht 9419.
• Funktionale Programmiersprachen:
  5. Bird: Introduction to Functional Programming (using Haskell), Prentice Hall, 1998.
  6. Friedman, Wand, Haynes: Essentials of Programming Languages, MIT Press, 1992.
  7. Abelson, Sussman: Structure and Interpretation of Computer Programs, MIT Press/McGraw-Hill, 1996.
  8. Ullmann: Elements of ML Programming, Prentice Hall, 1997.
  9. Hansen, Rischel: Introduction to Programming Using ML, Addison-Wesley, 1999.
• Weitere Literatur auf Anfrage.