703024 VO Funktionale Programmierung

Wintersemester 2017/2018 | Stand: 15.12.2017 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Priv.-Doz. Dr. Christian Sternagel

LV-Nummer:

703024

Titel:

VO 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:

siehe Homepage

Voraussetzungen:

grundlegende Programmierkenntnisse, formale Notation

Link:

http://cl-informatik.uibk.ac.at/teaching/ws17/fp/

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 06.10.2017	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 20.10.2017	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 27.10.2017	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 03.11.2017	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 10.11.2017	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 17.11.2017	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 24.11.2017	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 01.12.2017	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 15.12.2017	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 12.01.2018	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 19.01.2018	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 26.01.2018	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 02.02.2018	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 02.03.2018	09.00 - 11.00	HS D (Technik) HS D (Technik)	Barrierefrei	2. Klausur