Funktionale Programmierung, 185.161, VL 2.0 im WS 2002/2003
(zweistündige Vorlesung mit Laborübung)
Achtung: Diese Seite enthält Informationen zur Lehrveranstaltung im
Wintersemester 2002/2003. Informationen zur aktuellen Lehrveranstaltung
finden Sie unter http://www.complang.tuwien.ac.at/knoop/lehre/fktPrg185161.html
NEWS: Ab sofort ist die Anmeldung zu den Prüfungsterminen in den ersten
beiden Märzwochen möglich. Prüfungstermine gibt es jeweils am Montag,
Dienstag, Donnerstag und Freitag zwischen 3. und 14. März. Die Anmeldelisten
finden Sie bei den Übungsräumen in der Argentinierstraße 8, 5. Stock.
Inhalt
Folgende Prinzipien funktionaler Programmierung werden behandelt:
- Ausdrücke und deren Evaluierung
- Funktionen und funktionale Formen
- Lokale Bindungen
- Rekursion
- Darstellung komplexer Datenstrukturen
- Closures
- Reflektive Programmierung
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öchentlichen an dieser Stelle zur Verfügung gestellt:
- Folien (.ps,
.ps.gz) zur Vorbesprechung
am 8. Oktober
- Folien (.ps,
.ps.gz) und
Aufgabenstellung (.ps,
.ps.gz,
.pdf,
.pdf.gz) vom 22. Oktober
- Folien (.ps,
.ps.gz) und
Aufgabenstellung (.ps,
.ps.gz,
.pdf,
.pdf.gz) vom 29. Oktober
- Folien (.ps,
.ps.gz) und
Aufgabenstellung (.ps,
.ps.gz,
.pdf,
.pdf.gz) vom 5. November
- Folien (.ps,
.ps.gz) und
Aufgabenstellung (.ps,
.ps.gz,
.pdf,
.pdf.gz) vom 12. November
- Folien (.ps,
.ps.gz) und
Aufgabenstellung (.ps,
.ps.gz,
.pdf,
.pdf.gz) vom 19. November
- Folien (.ps,
.ps.gz) und
Aufgabenstellung (.ps,
.ps.gz,
.pdf,
.pdf.gz) vom 26. November
- Folien (.ps,
.ps.gz) und
Aufgabenstellung (.ps,
.ps.gz,
.pdf,
.pdf.gz) vom 3. Dezember
- Folien (.ps,
.ps.gz) und
Aufgabenstellung (.ps,
.ps.gz,
.pdf,
.pdf.gz) vom 10. Dezember
- Folien (.ps,
.ps.gz) und
Aufgabenstellung (.ps,
.ps.gz,
.pdf,
.pdf.gz) vom 17. Dezember
- Folien (.ps,
.ps.gz) und
Aufgabenstellung (.ps,
.ps.gz,
.pdf,
.pdf.gz) vom 7. Jänner
- Folien (.ps,
.ps.gz) und
letzte Aufgabenstellung (.ps,
.ps.gz,
.pdf,
.pdf.gz) vom 14. Jänner
- Folien (.ps,
.ps.gz) vom 21. Jänner
(letzte Vorlesung)
- zur Fragestunde am 28. Jänner gibt es keine Folien
Zur Orientierung finden Sie auch entsprechende Informationen aus dem
letzten Wintersemester.
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 sind auf der
Haskell Home Page zu finden.
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 2002/2003 findet am Dienstag,
den 8. Oktober 2002 von 13:00 bis 14:00 Uhr im Informatikhörsaal
(Treitelstraße 3) statt. Vorlesungen werden von 22. Oktober bis 14. Jänner
jeden Dienstag von 13:00 bis 14:00 Uhr im Informatikhörsaal gehalten.
Am 28. Jänner findet statt der Vorlesung eine Fragestunde statt.
Eine persönliche Anmeldung zur Lehrveranstaltung
zwischen 8. Oktober und 22. Oktober ist nötig.
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. Prüfungen werden (ausser in der vorlesungsfreien Zeit) jeden Montag
von 11 bis 12 Uhr und nach Vereinbarung abgehalten.
Ende Jänner und Anfang März werden zusätzliche Prüfungstermine angeboten.
Vortragender
Franz Puntigam, Tel.: 58801/18514, E-mail:
franz@complang.tuwien.ac.at