703024 Funktionale Programmierung

Wintersemester 2014/2015 | Stand: 31.07.2015 | 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/ws14/fp/content.php

Beginn:

03.10.2014

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 03.10.2014	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 10.10.2014	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 17.10.2014	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 24.10.2014	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 31.10.2014	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 07.11.2014	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 14.11.2014	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 21.11.2014	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 28.11.2014	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 05.12.2014	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 12.12.2014	08.15 - 10.00	HS B (Technik) HS B (Technik)	Barrierefrei
Fr 09.01.2015	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 16.01.2015	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 23.01.2015	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 30.01.2015	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei