Uni des Saarlandes
Informatik
Programmiersysteme
Vorlesungen
Prog-1 2004


Hauptseite
Termine
Service
Skript
Software
Literatur
Prüfungen

Programmierung 1: Literatur

Grundausstattung

• Vorlesungsskript

Online-Dokumente zu Standard ML

• Programming in Standard ML von Robert Harper, CMU.
  
  
• The Standard ML Basis Library
  
  
• Homepage für ML-artige Sprachen

Mathematische Grundlagen

Die Sprache der Mathematik ist grundlegend für die Informatik. Für die Vorlesung benötigen wir die Begriffe und Notationen der Mengenlehre. Außerdem arbeiten wir oft mit Definitionen, Sätzen und Beweisen. Das sehr lesbare Buch

• Kenneth H. Rosen, Discrete Mathematics and Its Applications (fifth edition), McGraw-Hill, 1999.

ist ein ausgezeichnetes Bindeglied zwischen Gymnasial- und Hochschulmathematik und ist speziell auf die Bedürfnisse der Informatik ausgerichtet. Eine anspruchsvollere Alternative, die sich besonders an Mathematikstudenten richtet, ist der Lehrtext

• Lehrtext Naive Mengenlehre der FernUniversität Hagen.

Programmierung und ML

• Jeffrey Ullman: Elements of ML Programming (ML97 edition). Prentice-Hall 1998.
  
  
• Michael R. Hansen und Hans Rischel: Introduction to Programming using SML . Addison Wesley 1999.
  
  
• Larry Paulson: ML for the Working Programmer (2nd edition). Cambridge University Press 1996.
  
  
• Ake Wikström: Funtional Programming Using Standard ML. Prentice Hall International, 1987.
  
  
• Matthias Felleisen, Dan Freidman: The Little MLer. The MIT Press 1998. Erklärt ML durch ein Spiel von Fragen und Antworten.
  
  
• Robin Milner, Mads Tofte, Robert Harper, David MacQueen: The Definition of Standard ML (Revised). The MIT Press 1997.
  
  

Computer aus Hardware-Sicht

• David A. Patterson and John L. Hennessy: Computer Organization and Design; The Hardware / Software Interface. Morgan Kaufmann Publishers, 2004 (neue Ausgabe).

Eine kleine Auswahl weiterer Lehrbücher

• Harold Abelson, Gerald Sussman, Julie Sussman: Structure and Interpretation of Computer Programs (2nd edition). The MIT Press 1996.
  
  Der Klassiker. Benutzt aber das etwas veraltete Scheme.
  
  
• Guy Cousineau and Michel Mauny: The Functional Approach to Programming. Cambridge University Press, Cambridge, 1998.
  
  Verwendet CAML, die französische Version von ML.
  
  
• Richard Bird: Introduction to Functional Programming using Haskell. Second edition, Prentice Hall, 1998.
  
  
• Paul Hudak: The Haskell School of Expression; Learning Functional Programming through Multimedia. Cambridge University Press, 2000.
  
  
• Manfred Broy: Informatik. Eine grundlegende Einführung. Teil 1: Programmierung und Rechnerstrukturen. Springer 1998.
  
  
• Gerhard Goos: Vorlesungen über Informatik. Band 1: Grundlagen und funktionales Programmieren. 3. Auflage, Springer 2000.