Literatur

Hauptseite
Literatur
Übungen
Klausuren
Mailingliste
Software
Neuigkeiten

Grundausstattung

Gert Smolka schreibt und verteilt ein Skript zur Vorlesung.

Die Vorlesung und das Skript gehen davon aus, dass Sie sich die Details der Programmiersprache Standard ML selbstständig aus einem geeigneten Lehrbuch aneignen. Dazu empfehlen wir

Jeffrey Ullman: Elements of ML Programming (ML97 edition). Prentice-Hall 1998.

Mathematisches Grundwissen

Wenn Sie Schwierigkeiten mit grundlegenden mathematischen Sprech- und Schreibweisen haben, empfehlen wir Ihnen den Kurs Naive Mengenlehre für Mathematiker und Informatiker der FernUniversität Hagen. Der Kurs ist mit einem hervorragenden Lehrtext ausgestattet. Um diesen zu bekommen, können Sie sich als Gasthörer eintragen.

Das erste Kapitel des Lehrbuchs
    Harry R. Lewis and Christos H. Papadimitriou. Elements of the Theory of Computation. Prentice Hall, 2nd edition, 1998.
gibt eine ausführliche und relativ leicht verständliche Einführung in mathematischen Sprech- und Schreibweisen.

ML

Auch in elektronischer Form existieren diverse Texte. Hier die wichtigsten:

Weitere Buchtitel und Online-Links findet man zum Beispiel auf der Homepage von SML/NJ. Allerdings ist viel Online-Material zu SML noch nicht an die aktuelle Sprachversion angepasst.

Programmierung im Allgemeinen

Es gibt sehr viele interessante Lehrbücher zu diesem Thema, einige eher praktisch, andere eher theoretisch. Hier ist eine Auswahl:

  • Harold Abelson, Gerald Sussman, Julie Sussman: Structure and Interpretation of Computer Programs (2nd edition). The MIT Press 1996.

    Eine hervorragende Einführung in die Programmierung, benutzt aber das etwas veraltete `Scheme'. Trotzdem sehr lesenswert!

  • Harold Abelson, Gerald Sussman, Julie Sussman: Struktur und Interpretation von Computerprogrammen. Springer-Verlag 1993.

    Eine ältere Version des gleichen Buchs, aber in deutsch. Das Original ist natürlich besser.

  • Manfred Broy: Informatik. Eine grundlegende Einführung. Teil 1: Programmierung und Rechnerstrukturen. Springer 1998.

    Herr Broy ist Informatikprofessor an der TU München. Seine Einführung in die Programmierung ist theoretischer angelegt als unsere und legt sich nicht auf konkrete Programmiersprachen fest.

  • Gerhard Goos: Vorlesungen über Informatik. Band 1: Grundlagen und funktionales Programmieren Springer 1997.

  • Gerhard Goos: Vorlesungen über Informatik. Band 2: Objektorientiertes Programmieren und Algorithmen. Springer 1996.

    Herr Goos ist Informatikprofessor an der Universität Karlsruhe. Band 1 benutzt die funktionale Sprache Haskell und Band 2 die objektorientierte Sprache Sather.

  • Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm: Grundlagen der Programmiersprachen. Teubner 1986.

    Die Autoren sind Informatikprofessoren hier in Saarbrücken, Herr Loeckx ist seit 1996 im Ruhestand. Das Buch ist eher theoretisch und arbeitet mit einer idealisierten imperativen Programmiersprache PROSA. Zusätzlich wird die Maschinensprache RESA eines idealisierten Rechners eingeführt und die Übersetzung von PROSA nach RESA behandelt.

Unix

Als kleine Einführung in das Betriebssystem Unix kann folgende Dokumente dienen:

Ersteres ist wahrscheinlich für Anfänger eher zu empfehlen. Ansonsten wird an der Uni auch ein Unix-Kurs angeboten.

Emacs

Zum Editor Emacs gibt es zwar kaum Bücher, dafür sind aber alle wichtigen Manuals online zu finden:

Die Reference Card bietet eine nützliche Übersicht über die wichtigsten Emacs-Kommandos.

Tip zur Beschaffung: Das Buch von Ullman hat die Campus-Buchhandlung vorliegen. Ansonsten haben wir sehr gute Erfahrungen mit dem Internet-Buchhandel Amazon gemacht: halbwegs gängige Titel sind in weniger als einer Woche da.

Online verfügbare Postscript-Dokumente kann man entweder auf einem fähigen Drucker direkt ausdrucken, oder sich mit Ghostview anschauen.
Andreas Rossberg