392001 Prinzipien der Programmierung - Funktionale Programmierung (V) (WiSe 2025/2026)

Das Modul 39-Inf-PP, Prinzipien der Programmierung, ist ein neues Pflichtmodul im Bachelor und besteht aus 2 jeweils 4 stündigen Vorlesungen. Eine davon, die hier gemeldete Vorlesung „Funktionale Programmierung“ (5LP, 4 SWS) wird hier angeboten, die andere namens „Objektorientierte Programmierung“ von Daniel Merkle.

Literaturangaben

Funktionale Programmierung/Haskell:

• Präsenzliteratur (Tutorien) : http://learnyouahaskell.com
• unterschiedliche Autoren: www.haskell.org
• G. Hutton: Programming in Haskell, Cambridge University Press.
• B. O'Sullivan, J. Goerzen, D. Stewart: Real Worlds Haskell, O'Reilly (verfügbar unter book.realworldhaskell.org).
• P. Pepper: Funktionale Programmierung in OPAL, ML, HASKELL und GOFER, Springer-Verlag.
• M. Rubio-Sanchez: Recursive Programming, CRC Press.

Theorie/Konzepte Imperativer Programmierung:

• G. Krüger: Handbuch der Java-Programmierung, 4. Auflage, Addison-Wesley, html-Version frei verfügbar.
• B. Liskov: Program Development in Java: Abstraction, Specification, and Object-Oriented Design, Addison-Wesley.

Algorithmen und Datenstrukturen:

• M. Nebel und S. Wild: Entwurf und Analyse von Algorithmen - Eine Einführung in die Algorithmik mit Java (2. Edition), Springer-Vieweg Verlag.
• (R. Sedgewick, K. Wayne: Algorithms, Addison-Wesley. - JAVA)
• T. Ottmann, P. Widmayer: Algorithmen und Datenstrukturen, Spektrum Verlag.
• R. Bird, J. Gibbons: Algorithm Design with Haskell, Cambridge University Press.

Einführung in die Informatik:

• G. Goos: Vorlesungen über Informatik, Band 1, 2 und 3, 2. Auflage, Springer Verlag.
• M. Broy: Informatik. Eine Grundlegende Einführung. Band 1 und 2, 2. Auflage, Springer Verlag.

• H. Klaeren, M. Sperber: Vom Problem zum Programm. Architektur und Bedeutung von Computerprogrammen, 3. Auflage. Teubner, 2001.
• (G. Saake, K.-U. Sattler: Algorithmen und Datenstrukturen. Eine Einführung mit JAVA, 2. Auflage. dpunkt Verlag, 2004.)
• J. Hopcroft, J. Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, 4. Auflage. Oldenburg, 2000.