703024 Functional Programming

winter semester 2014/2015 | Last update: 31.07.2015 | Place course on memo list

Department:

Department of Computer Science

Instructor:

assoz. Prof. Dr. Cezary Kaliszyk, +43 512 507 53299

Course number:

703024

Title:

Functional Programming

Type/hours:

VO 2

ECTS credits:

Period:

weekly

Mode of repetition:

annually

Language of instruction:

English

Learning Outcome:

Graduates of this module understand differences between imperative and functional programming and know the pros and cons of each paradigm. They know the most important concepts of functional programming languages. Furthermore they learn to prove properties of (functional) languages.

Contents:

Introduction to functional programming; datastructures and algoriths; computation and proving; recursion and higher-order functions; implementation of functional programming languages; type concepts and type systems

Methods:

presentation

Assessment:

written exam

Literature:

lecture notes

Prerequisites:

basic programming knowledge, formal notation

eLearning shares:

not applicable

Link:

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

Start:

03.10.2014

allocated to study field

Faculty of Mathematics, Computer Science and Physics

Bachelor's Programme Computer Science according to the Curriculum 2007 (180 ECTS-Credits, 6 semesters)

Third Semester

Compulsory Module 13: Functional Programming (5 ECTS-Credits, 3 h)

Dates

Group 0	Export course dates of this group as iCalendar (.ics) Help
Date	Time	Location
Fri 2014-10-03	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2014-10-10	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2014-10-17	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2014-10-24	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2014-10-31	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2014-11-07	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2014-11-14	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2014-11-21	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2014-11-28	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2014-12-05	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2014-12-12	08.15 - 10.00	HS B (Technik) HS B (Technik)	Barrier-free
Fri 2015-01-09	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2015-01-16	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2015-01-23	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2015-01-30	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free