Funktionale Programmierung mit Haskell (PS-FPmH)5 ECTS
Modulverantwortliche/r: Michael Philippsen Lehrende:
Hans Jürgen Schneider
Startsemester: |
SS 2012 | Dauer: |
1 Semester |
Präsenzzeit: |
60 Std. | Eigenstudium: |
90 Std. | Sprache: |
Deutsch |
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:
Literatur:
Chakravarty/Keller: Einführung in die Programmierung mit Haskell (Pearson, 2004)
Weitere Informationen:
www: http://www2.informatik.uni-erlangen.de/teaching/studiumInfMA.html
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan: Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:
- Informatik (Bachelor of Science)
(Po-Vers. 2007 | Praktika und Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Programmiersysteme)
- Informatik (Bachelor of Science)
(Po-Vers. 2009s | Praktika und Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Programmiersysteme)
- Informatik (Bachelor of Science)
(Po-Vers. 2009w | Praktika und Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Programmiersysteme)
- 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 |
|
|