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...

• Parallelbesuch der LVA
  Haskell-Praxis: Programmieren mit der Funktionalen Programmiersprache Haskell (127.008 VU 2.0h)
  Prof. Dr. Andreas Frank
  Institut für Geoinformation und Kartographie

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:

• Als Wahlfach für den Magisterstudiengang 066 937 "Software Engineering/Internet Computing" (3.0 ECTS)
• Als Wahlfach für den Magisterstudiengang 066 931 "Computational Intelligence" (3.0 ECTS)
• Als Prüfungsfach für den Studiengang 066 011 "DDP Computational Logic (Erasmus-Mundus)" (3.0 ECTS)

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