Fortgeschrittene funktionale Programmierung
LVA 185.210, VL 2.0, ECTS 3.0, 2008 S

(zweistündige Vorlesung mit Laborübung; siehe auch TUWIS++/185.210)

 
 

Haben Sie Interesse an einem geförderten Auslandsstudium?

Informationen zu Fördermöglichkeiten finden Sie hier.

 

Inhalte und Ziele

Die Vorlesung beschäftigt sich mit fortgeschrittenen Techniken und Anwendungen funktionaler Programmierung, die die Teilnehmer sinnvoll anzuwenden und einzusetzen lernen sollen. Eine perfekte Ergänzung in diesem Semester...

Voraussetzungen

Grundlegende Kenntnisse funktionaler Programmierung etwa in dem in der LVA Funktionale Programmierung 185.161 vermittelten Umfang werden vorausgesetzt.

Anrechenbarkeit

Die Lehrveranstaltung "Fortgeschrittene funktionale Programmierung" ist anrechenbar für folgende Studien:

Vorbesprechung und Anmeldung

Die vorlesungsspezifische Vorbesprechung und erste Veranstaltung für das Sommersemester 2008 findet am Di, den 11.03.2008, von 16:15 Uhr bis 17:45 Uhr, im Seminarraum im Erdgeschoss in der Argentinierstr. 8 statt. Am Do, den 13.03.2008, ebenfalls von 16:15 Uhr bis 17:45 Uhr, findet die zweite Veranstaltung im Seminarraum im Erdgeschoss in der Argentinierstr. 8 statt.

Die LVA wird als Blockveranstaltung durchgeführt. Die Zahl der Teilnehmer ist beschränkt. Eine Anmeldung zur Lehrveranstaltung ist nötig und erfolgt über das am Arbeitsbereich eingesetzte elektronische Anmeldesystem. Der Anmeldezeitraum geht vom 11.03.2008 bis zum 21.03.2008.

Zum Anmeldesystem.

Zeit und Ort

Die Vorlesung findet geblockt statt. Der regelmäße Vorlesungstermin und -ort ist donnerstags von 16:00 Uhr c.t. bis 18:00 Uhr im Seminarraum in der Argentinierstr. 8, Erdgeschoss, 1040 Wien. Die genauen Veranstaltungstermine werden in der Vorlesung und an dieser Stelle rechtzeitig bekanntgegeben.

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.

Lecture
 
Slides from
Topic Slides Hints and remarks
19.06.2008
Lecture 8
Type Inference,
Parallelism,
The Story of Haskell
.pdf
.pdf.gz
Final lecture.
12.06.2008
Lecture 7
Pretty Printer .pdf
.pdf.gz
None.
05.06.2008
Lecture 6
Parsing .pdf
.pdf.gz
None.
29.05.2008
Lecture 5
Logical
programming
functionally
.pdf
.pdf.gz
 
None.
08.05.2008
Lecture 4
Correctness issues,
mathematical background
.pdf
.pdf.gz
None.
24.04.2008
Lecture 3
Programming with
Streams
.pdf
.pdf.gz
None.
13.03.2008
Lecture 2
Testing of programs
(specification-
based, tool-
supported,
automatically
.pdf
.pdf.gz
Note: Easter Holidays from March 17 - 29, 2008.
11.03.2008
Lecture 1
"Why Functional Programming Matters":
A "classical" position
statement these days.
.pdf
.pdf.gz
 
Updated on 03/13/08.
11.03.2008
Preliminary Meeting
Motivation and
organizational issues
pdf
pdf.gz
 
None.

Assignment
 
Issued on
Due date/2nd due date Available formats Hints and remarks
13.06.2008 23.06.2008 (12:00) /
30.06.2008 (20:00)
Assignment 7.pdf
Assignment 7.pdf.gz
Final Assignment.
06.06.2008 16.06.2008 (12:00) /
23.06.2008 (20:00)
Assignment 6.pdf
Assignment 6.pdf.gz
Updated on 06/09/2008.
29.05.2008 09.06.2008 (12:00) /
16.06.2008 (12:00)
Assignment 5.pdf
Assignment 5.pdf.gz
None.
08.05.2008 19.05.2008 (12:00) /
(was 26.05.2008 (12:00)) /
now: 09.06.2008 (12:00)
Assignment 4.pdf
Assignment 4.pdf.gz
None.
19.03.2008 28.04.2008 (12:00) /
(was 05.05.2008 (12:00)) /
now: 09.06.2008 (12:00)
Assignment 3.pdf
Assignment 3.pdf.gz
None.
19.03.2008 28.04.2008 (12:00)
(was 05.05.2008 (12:00)) /
now: 09.06.2008 (12:00)
Assignment 2.pdf
Assignment 2.pdf.gz
None.
19.03.2008 28.04.2008 (12:00) /
(was 05.05.2008 (12:00)) /
now: 09.06.2008 (12:00)
Assignment 1.pdf
Assignment 1.pdf.gz
None.

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 nach Vereinbarung voraussichtlich um den Monatswechsel Juni/Juli 2008 abgehalten.

Vortragender

Jens Knoop, Tel.: 58801-18510, E-mail: knoop@complang.tuwien.ac.at
Sprechstunde
wiederholte LVAs:
Fortg. fkt. Programmierung
Seminar aus Prog.sprachen
Grundl. meth. Arbeitens
Sonstige
Schnellzugriff:
TUWIS++
voriges Semester
voriges Jahr
top | HTML 4.01 | last update: 2014-05-04 (Knoop)