703024 Funktionale Programmierung

Wintersemester 2015/2016 | Stand: 22.09.2016 | 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/ws15/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 09.10.2015	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 16.10.2015	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 23.10.2015	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 30.10.2015	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 06.11.2015	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 13.11.2015	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 20.11.2015	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 27.11.2015	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 04.12.2015	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 11.12.2015	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 18.12.2015	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 15.01.2016	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 22.01.2016	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 29.01.2016	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 05.02.2016	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Do 03.03.2016	08.00 - 12.00	HS D (Technik) HS D (Technik)	Barrierefrei	2. Prüfung
Fr 30.09.2016	13.00 - 16.00	HS F (Technik) HS F (Technik)	Barrierefrei	3rd exam