703024 Funktionale Programmierung

Wintersemester 2013/2014 | Stand: 28.10.2013 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Priv.-Doz. Dr. Harald Zankl

LV-Nummer:

703024

Titel:

Funktionale Programmierung

Typ/Stunden:

VO 2

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Deutsch

Lernergebnis:

Absolventinnen und Absolventen dieses Moduls verstehen die Unterschiede zwischen imperativer und funktionaler Programmierung sowie die jeweiligen Vor- und Nachteile. Sie kennen die wichtigsten Konzepte der funktionalen Programmierung. Zudem erlernen sie, Eigenschaften von (funktionalen) Programmen zu beweisen.

Inhalt:

Einführung in die funktionale Programmierung; Datenstrukturen und Algorithmen; Berechnen und Beweisen; Rekursion und höherstufige Funktionen; Implementierung von funktionalen Programmiersprachen; Typkonzepte und Typsysteme

Methoden:

Vortrag und Programmpräsentation.

Prüfungsmodus:

Schriftlich

Literatur:

Skriptum; siehe Homepage

Voraussetzungen:

grundlegende Programmierkenntnisse, formale Notation

Link:

http://cl-informatik.uibk.ac.at/teaching/ws13/fp/content.php

Beginn:

04.10.2013

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Bachelorstudium Informatik nach dem Curriculum 2007 (180 ECTS-AP, 6 Semester)

3. Semester

Pflichtmodul 13: Funktionale Programmierung (5 ECTS-AP, 3 SSt.)

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Fr 04.10.2013	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 11.10.2013	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 18.10.2013	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 25.10.2013	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 08.11.2013	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 15.11.2013	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 22.11.2013	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 29.11.2013	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 06.12.2013	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 13.12.2013	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 10.01.2014	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 17.01.2014	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 24.01.2014	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 31.01.2014	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei