703024 Funktionale Programmierung

Wintersemester 2016/2017 | Stand: 06.07.2017 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk, +43 512 507 53299

LV-Nummer:

703024

Titel:

Funktionale Programmierung

Typ/Stunden:

VO 2

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Englisch

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/ws16/fp/content.php

Beginn:

siehe Termine

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 07.10.2016	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 14.10.2016	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 21.10.2016	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 28.10.2016	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 04.11.2016	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 11.11.2016	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 18.11.2016	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 25.11.2016	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 02.12.2016	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 09.12.2016	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 16.12.2016	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 13.01.2017	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 20.01.2017	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 27.01.2017	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 03.02.2017	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Do 09.03.2017	08.00 - 10.30	HS D (Technik) HS D (Technik)	Barrierefrei	2. Klausur
Mo 18.09.2017	12.00 - 15.00	HS 10 HS 10	Barrierefrei	3. Prüfung