Literatur zur Informatik I

Skriptmaterial

Parallel zur Vorlesung erstellen wir Skriptmaterial. Dieses wird primär elektronisch hier verfügbar sein und kann in den Rechnerpools ausgedruckt werden.

Außerdem werden Kopiervorlagen des Materials in der Mathebibliothek im 4.~Stock des C-Gebäudes im Informatik-Apparat (gleich neben der Tür links) ausliegen.

Sekundärliteratur

• Abelson, Sussman, Sussman: Structure and Interpretation of Computer Programs. 2nd edition. MIT Press, 1996. (Deutsche Ausgabe bei Springer, 1998.)
• Goos: Vorlesungen zur Informatik. Band 1: Grundlagen und funktionales Programmieren. Springer 1995.
• Hailperin, Kaiser, Knight: Concrete Abstractions. Brooks/Cole, 1999.
• Klaeren: Vom Problem zum Programm. Teubner, 1990.

Zu logischen Kalkülen:

Goos (s.o.)

Jean Gallier: Logic for Computer Science. Harper Row, 1986.

Zum Lambda-Kalkül:

Goos (s.o.)

Peter Thiemann: Grundlagen der funktionalen Programmierung. Teubner, 1994.