Funktionale Programmierung mit Haskell (PS-FPmH)5 ECTS

Lehrveranstaltungen:

• • Funktionale Programmierung in Haskell
    (Vorlesung, 2 SWS, Hans Jürgen Schneider, Fr, 8:00 - 10:00, 04.150)
  • Übungen zu Funktionale Programmierung in Haskell
    (Übung, 2 SWS, Hans Jürgen Schneider, Do, 16:00 - 17:30, 05.150; NV.)

Inhalt:

• Funktionen als Basis der Programmierung

• Grundlagen des Typsystems, Strukturierung durch Typklassen

• Verbergen von Information

• Anwendungen, z.B.: Syntaxanalyse, Algebraische Spezifikation, Semantik von Programmiersprachen

• Kompilieren funktionaler Programmiersprachen
  

Lernziele und Kompetenzen:

• Fundierte Kenntnis von Haskell

• Verständnis der funktionalen Programmierung allgemein

• Erstellung kleinerer und Modifikation größerer Programme
  

Literatur:

Chakravarty/Keller: Einführung in die Programmierung mit Haskell (Pearson, 2004)

Weitere Informationen:

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:

1. Informatik (Bachelor of Science)
   (Po-Vers. 2007 | Praktika und Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Programmiersysteme)
2. Informatik (Bachelor of Science)
   (Po-Vers. 2009s | Praktika und Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Programmiersysteme)
3. Informatik (Bachelor of Science)
   (Po-Vers. 2009w | Praktika und Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Programmiersysteme)
4. Informatik (Master of Science)
   (Po-Vers. 2010 | Wahlpflichtbereich | Säule der softwareorientierten Vertiefungsrichtungen | Vertiefungsmodul Programmiersysteme)

Studien-/Prüfungsleistungen:

Funktionale Programmierung in Haskell

(diese Prüfung gilt nur im Kontext der Studienfächer/Vertiefungsrichtungen [1], [2], [3])

Leistungsschein, benotet

Erstablegung: SS 2012, 1. Wdh.: WS 2012/2013 (nur für Wiederholer), 2. Wdh.: keine Wiederholung

1. Prüfer:

Hans Jürgen Schneider

Funktionale Programmierung in Haskell

(diese Prüfung gilt nur im Kontext der Studienfächer/Vertiefungsrichtungen [4])

Leistungsschein, benotet

Erstablegung: SS 2012, 1. Wdh.: WS 2012/2013

1. Prüfer:

Hans Jürgen Schneider