Funktionale Programmierung
LVA 185.161, VL 2.0, 2004 W
Funktionale Programmierung
(zweistündige Vorlesung mit Laborübung; siehe auch
TUWIS++/185.161)
Achtung: Neue Homepage-URL
Die homepage zur Vorlesung ist ab sofort unter
http://www.complang.tuwien.ac.at/knoop/fp185161_ws0405.html
zu finden. Bitte passen Sie Ihre bookmarks entsprechend an! Diese
Seite wird nach dem 08.10.2004 nicht mehr
aktualisiert.
Anmeldesystem freigeschaltet!
Das
elektronische Anmeldesystem ist jetzt freigeschaltet. Sie können
sich ab sofort bis einschließlich zum 17. Oktober 2004 für
die Teilnahme an der Lehrveranstaltung "Funktionale Programmierung"
anmelden. Bis zum 31. Oktober 2004 können Sie sich gegebenenfalls
auch wieder abmelden. Nach dem 31. Oktober 2004 gehe ich davon aus,
dass Sie die Lehrveranstaltung fest in Ihren Stundenplan aufgenommen
haben und sie erfolgreich bis zum Ende besuchen wollen.
Weitere Informationen zur Gruppeneinteilung
und zur Ausgabe der Rechennummern und Passwörter finden Sie auf
den Folien zur
Vorbesprechung zu dieser
Lehrveranstaltung. Die Rechennummern und Passwörter werden ab
nächste Woche dienstags von den Tutoren im Labor ausgegeben. Die
Anwesenheitszeiten der Tutoren im Labor finden Sie
hier. Die Übernahme von Rechennummer und
Passwort werden wir Sie durch Unterschrift zu quittieren bitten. Bitte
bringen Sie deshalb Ihren Studentenausausweis mit und kommen Sie zur
Übernahme von Rechennummer und Passwort zusammen mit allen
Gruppenpartnern. Vielen Dank.
Zum Anmeldesystem.
Inhalt
Die Vorlesung gibt eine Einführung in die Grundlagen und Konzepte funktionaler
Programmierung. Dabei werden insbesondere die folgenden Prinzipien
funktionaler Programmierung vorgestellt und behandelt:
- Ausdrücke, Ausdrucksauswertung, Auswertungsstrategien
- Funktionen, Funktionale, Rekursion
- Datenstrukturen
- Ein- und Ausgabe
- Reflektive Programmierung
- ...
und die Umsetzung dieser Konzepte in Haskell.
Ziele
Die Teilnehmer sollen einen Überblick über die wichtigsten Konzepte
funktionaler Programmiersprachen bekommen und lernen, diese Konzepte
sinnvoll einzusetzen.
Voraussetzungen
Grundlegende Kenntnisse zumindest einer Programmiersprache (wie z.B. in
"Einführung in das Programmieren" vermittelt) werden vorausgesetzt.
Lehrbehelfe
Während der Lehrveranstaltung werden die
verwendeten Folien und Aufgabenstellungen für den
Laborübungsteil
wöchentlich an dieser Stelle zur Verfügung gestellt.
Zur Orientierung finden Sie auch entsprechende Informationen aus dem
Wintersemester 2003/2004.
In der Lehrveranstaltung wird die Programmiersprache Haskell verwendet.
Ein Online-Tutorial
erklärt die Sprache sehr gut, setzt aber Grundkenntnisse der
funktionalen Programmierung voraus. Umfangreiche Informationen zu
Haskell finden Sie auch auf der Haskell Home Page. Weitere
Literaturhinweise finden Sie auch auf den Folien zur Vorbesprechung der Lehrveranstaltung. In
der Laborübung wird der Haskell-Interpreter Hugs 98 verwendet, der für
viele Plattformen verfügbar ist.
Zeit und Ort
Die Vorbesprechung für das Wintersemester 2004/2005 findet am
5. Oktober 2004 von 13:00 Uhr bis 14:00 Uhr im Informatikhörsaal
(Treitelstraße 3) statt. Die Vorlesung selbst beginnt am 12. Oktober
2004 und findet ebenfalls jeden Dienstag von 13:00 Uhr bis 14:00
Uhr im Informatikhörsaal (Treitelstraße 3) statt.
In der Woche vom 11. bis zum 15. Oktober 2004 werden zu den folgenden
Zeiten Tutoren im Laborraum anwesend sein und Ihnen für Fragen
und zur Ausgabe von Rechennummern und Passwörtern zur Verfügung
stehen.
| Dienstag, 12.10.2004
| 08:30 Uhr - 10:30 Uhr (Sinan Saral)
10:30 Uhr - 12:30 Uhr (Christoph Roschger)
14:30 Uhr - 15:30 Uhr (Christoph Roschger)
|
| Mittwoch, 13.10.2004
| 09:00 Uhr - 11:00 Uhr (Anis Hadzisalihovic)
16:00 Uhr - 18:00 Uhr (Adrian Prantl)
|
| Donnerstag, 14.10.2004
| 09:00 Uhr - 11:00 Uhr (Sinan Saral)
16:00 Uhr - 18:00 Uhr (Adrian Prantl)
|
| Freitag, 15.10.2004
| 08:30 Uhr - 11:30 Uhr (Anis Hadzisalihovic)
15:00 Uhr - 16:00 Uhr (Christoph Roschger)
|
Anrechenbarkeit
"Funktionale Programmierung" ist für folgende Bakkalaureatsstudien anrechenbar:
"Software & Information Engineering" (Pflichtfach, 5. Semester) und
"Medizinische Informatik" (Wahlfach).
Prüfungen
Die Beurteilung setzt sich je zur Hälfte aus den
Leistungen bei der
Laborübung
und dem Ergebnis einer mündlichen Prüfung zusammen. Der Vorlesungsteil
soll dabei bis zum 15. Januar 2005 abgeschlossen sein. Die Prüfungen
werden dann nach Vereinbarung im Anschluss
in der zweiten Jännerhälfte 2005 abgehalten.
Vortragender
Jens Knoop, Tel.: 58801-18510, E-mail:
knoop@complang.tuwien.ac.at