Algorithmen und Programmierung I

VL 19-501         WS 98/99
 
Mo. 16 - 18 HS Informatikgebäude Dozent: Prof. Dr. H. Schweppe
Do. 16 - 18 HS Informatikgebäude Sprechstunde: Mi. 14-16
 

Literatur

S. Thompson:  HASKELL - The Craft of Functional Programming,
   Addison-Wesley, 1996  (ca. DM 65)

Leichtfüßige Einführung in die funktionale Programmierung mit Haskell  geringen theoretischen oder       anwendungbezogenen Anteilen. Sehr gute Einführung in die funktionale Programmierung mit Haskell
R. Bird: Introduction to Functional Programming using Haskell,
Prentice Hall Series in Computer Science, 1998  (ca DM 60)
Systematische Einführung in die funktionale Programmierung mit Betonung der grundlegender Konzepte.  Kein Anwendungsbezug.
H. Hermes: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit,
Heidelberger Taschenbücher, Springer 1971
 Theoretische Grundlagen zu rekursiven Funktionen und l-Kalkül.
R. Page: Two dozen Short Lessons in Haskell - a participatory textbook on functional programming, Skript der University of Oklahoma, School of Comp. Science,  hier
 Skriptum, das die Techniken funktionaler Programmierung betont.
F.L. Bauer, G. Goos: Informatik - Eine einführende Übersicht. Springer 1982.
Einführung in funktionale und imperative Programmierung im Algol-68/Pascal-Stil. Sorgfältige Einführung in Informationsbegriff und in elementare Rechnerstrukturen. Die Anwendungsproblematik bleibt ausgeklammert.
L. Goldschlager, A. Lister: Informatik - Eine moderne Einführung. Hanser 1984.
Klassische Einführung, leicht zu lesen und trotzdem nicht oberflachlich. Sehr inhalts reich, spannt einen weiten Bogen von der Algorithmik Über Anfangsgründe der Theoretischen Informatik und Rechnerorganisation bis hin zu einigen Anwendungen und gesellschaftlichen Auswirkungen der Informationstechnik. Enthält nichts zu funktionaler Programmierung.
J.L.A. van de Snepscheut: What Computing is all about.
Springer Verlag, 1993
Gelungene moderne Einführung in Hardware und Software, funktionaler Programmierstil kommt nur am Rande vor.
T. Cormen, C. Leison, R. Rivest:  Introductions to Algorithms.
MIT Press, 1990
Standardwerk zu Algorithmen. Imperativer Programmierstil, sehr gutes Lehrbuch, aber für ALPI inhaltlich weniger geeignet.
M. Broy: Einführung in die Informatik I-IV. Springer 1993 ff.
Grundlegende Einführung in Algorithmen, Rechnerstrukturen und theoretische Informatik, behandelt funktionalen und imperativen Programmierstil mit ausführlicher theoretischer Fundierung; verwendet eigene Modellsprache.
G. Harbeck u.a.: Metzler Informatik. Metzler 1984.
Standardbuch für Informatikunterricht an Schulen, Volkshochschulen etc. Klassischer Zugang, viele Beispiele. Auch Einführung in Hardware und gesellschaftliche Auswirkungen. Insgesamt recht
R. Bird, P. Wadler: Introduction to Functional Programming. Prentice-Hall 1988
Schöne Einführung in Konzepte und Methoden der funktionalen Programmierung. Verwendete Sprache ist Miranda. Deshalb nur bedingt neben der Vorlesung zu benutzen.
H. Abelson, G. Sussman: Structure and Interpretation of Compuer Programs. MIT Pres 1985
Sehr gute Einführung in Algorithmenentwurf und Programmierung  mit  der funktionalen Sprache Scheme. Diskussion verschiedener Programmierstile mit vielen Beispielen.
J. Weizenbaum: Die Macht der Computer und die Ohnmacht der Vernunft. Suhrkamp 1986
Zur Horizonterweiterung  empfohlen!
Systemnahe Literatur zu Haskell und Hugs

M. Jones, J. Peterson: Hugs 1.4 - The Nottingham and Yale Haskell Users?s System - User Manual. Tech. Report NOTTCS-TR-97-1, April 1997  (wird als Papierkopie verteilt)

P. Hudak, J. Peterson, J. Fasel: A Gentle Introduction to Haskell - Version 1.4 -, 1997

J. Peterson et al.: Report on the Programming Language Haskell - A Non-strict, Purely Functional Language, Version 1.4, 1997
 

Diese Unterlagen sind Teil der Systemdistribution von Hugs.  Sie sind für Anfänger schwer verständlich und  gewöhnungsbedürftig. Das wird sich im Laufe des Semesters ändern.
  


letzte Änderung 22/10/98 grieger@inf.fu-berlin.de