Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2012 / Funktionale Programmierung


Inhaltsbereich

Funktionale Programmierung

Vorlesung, 3-std., Mo 16-18, Di 12-14; Übung 2-std., Do 16-18; Abel, Jost

Bitte beachten Sie:Aktuelle Hinweise & Termine zur Veranstaltung finden Sie ab sofort am rechten Rand dieser Vorlesungshomepage. Sie können dazu nun auch RSS-Feeds abonnieren.

Falls Sie am rechten Rand keine Leiste sehen, dann klicken Sie bitte auf Spracheinstellung "Deutsch".


Inhalt

Fortgeschrittene Techniken der funktionalen Programmierung werden vorgestellt.  Dies umfasst Themen wie funktionale Behandlung von Ein-/Ausgabe und Effekten, Polymorphismus, Typklassen, Profiling, systematisches Testen und Verifikation, sowie die Entwicklung ereignisgesteuerter Anwendungen wie Webapplikationen und graphischer Benutzeroberflächen. Der Kurs beinhaltet die Implementierung eines kleinen Software-Projektes.


Organisation

  • Umfang: 3+2 Semesterwochenstunden
  • Für: Bachelorstudiengänge Informatik: Vertiefende Themen
    Master Informatik: Modul Compilertechnik und Typsysteme
    Masterstudiengänge Informatik: Vertiefende Themen
    Diplomstudiengänge Informatik
    Lehramt Informatik: Vertiefende Themen aus der theoretischen Informatik, Vorlesung
  • Vorlesung und Übung: Dr. Andreas Abel, Dr. Steffen Jost

Zeit und Ort

Veranstaltung Zeit Ort Beginn
Vorlesung Mo, 16 - 18 Uhr
Raum U127 (Oettingenstr. 67) 16.04.2012
Vorlesung Di, 12 - 14 Uhr Raum C003 (Oettingenstr. 67) 17.04.2012
Übung Do, 16 - 18 Uhr Rechnerraum Takla-Makan (Oettingenstr. 67) 19.04.2012

Planung

Da die Vorlesung trotz der gebuchten 4+2 Semesterwochenstunden nur den Umfang 3+2 hat, entfallen einige Vorlesungstermine. Die Übungen finden dagegen durchgehend statt. Folgende Vorlesungsplanung ist vorgesehen:

Nr. Datum Thema Dozent Hinweise
1 16.04. Haskell Grundlagen Abel
2 17.04. Haskell Grundlagen Abel
3 23.04. Monaden Abel
4 24.04. Monaden Abel
30.04. entfällt
01.05. Maifeiertag
5 07.05. Laziness & Module Jost
6 08.05. Zirkuläre Programme Jost
7 14.05. GUI-Programmierung Abel
8 15.05. GUI-Programmierung Abel
9 21.05. Parallele Programmierung Jost
10 22.05. Parallele Programmierung Jost
28.05. Pfingstmontag
29.05. Vorlesungsfrei
04.06. entfällt
05.06. entfällt
11 11.06. Systematisches Testen Abel
12 12.06. Abhängige Typen Abel
13 18.06. Template Haskell Jost
14 19.06. Web Applikationen Jost
15 25.06. Web Applikationen Jost
16 26.06. GADTs Jost
17 02.07. Abhängige Typen Abel
18 03.07. Abhängige Typen Abel
19 09.07. Verifikation Abel

10.07.
entfällt
16.07. entfällt
20 17.07. Abgabe Mini-Projekt Abel/Jost

 


Klausur

Anstelle einer Klausur wird voraussichtlich die Implementierung eines Mini-Projekt erwartet.

 


Weiterführende Informationen

 

 

Artikelaktionen


Funktionsleiste