703025 PS Functional Programming

winter semester 2019/2020 | Last update: 09.12.2019 Place course on memo list
Department of Computer Science Department of Computer Science
Maximilian Haslbeck, MSc Maximilian Haslbeck, MSc
Bart Keulen, MSc Bart Keulen, MSc
Florian Georg Meßner Florian Georg Meßner
Jonas Helmut Schöpf, BSc MSc Jonas Helmut Schöpf, BSc MSc, +43 512 507 53444
assoz. Prof. Dr. René Thiemann assoz. Prof. Dr. René Thiemann, +43 512 507 53234
Dr. Vincent van Oostrom Dr. Vincent van Oostrom
Xiang Zhang, MSc Xiang Zhang, MSc
703025
PS Functional Programming
PS 1
2
weekly
annually
English

read and write functional programs; know pros and cons of imperative and functional programming

discussion, train the concepts of the lecture using a functional programming language, train functional programming

Continuous assessment (based on regular written and/or oral contribution by participants).

Course examination according to § 7, statute section on "study-law regulations"

Will be discussed in the first lesson.

https://lms.uibk.ac.at/url/RepositoryEntry/4545183773
http://cl-informatik.uibk.ac.at/teaching/ws18/fp/
see dates
Group 1
Export course dates of this group as iCalendar (.ics)
Help
Thiemann R.
Date Time Location
Wed 2019-10-09
 14.15 - 15.00 rr 20 rr 20 Barrier-free
Wed 2019-10-16
 14.15 - 15.00 rr 20 rr 20 Barrier-free
Wed 2019-10-23
 14.15 - 15.00 rr 20 rr 20 Barrier-free
Wed 2019-10-30
 14.15 - 15.00 rr 20 rr 20 Barrier-free
Wed 2019-11-06
 14.15 - 15.00 rr 20 rr 20 Barrier-free
Wed 2019-11-13
 14.15 - 15.00 rr 20 rr 20 Barrier-free
Wed 2019-11-20
 14.15 - 15.00 rr 20 rr 20 Barrier-free
Wed 2019-11-27
 14.15 - 15.00 rr 20 rr 20 Barrier-free
Wed 2019-12-04
 14.15 - 15.00 rr 20 rr 20 Barrier-free
Wed 2019-12-11
 08.00 - 09.00 HS G (Technik) HS G (Technik) Barrier-free Nachholtermin Midterm Test
Wed 2019-12-11
 14.15 - 15.00 rr 20 rr 20 Barrier-free
Wed 2020-01-08
 08.00 - 09.00 HS G (Technik) HS G (Technik) Barrier-free Nachholtermin Midterm Test
Wed 2020-01-08
 14.15 - 15.00 rr 20 rr 20 Barrier-free
Wed 2020-01-15
 14.15 - 15.00 rr 20 rr 20 Barrier-free
Wed 2020-01-22
 14.15 - 15.00 rr 20 rr 20 Barrier-free
Wed 2020-01-29
 14.15 - 15.00 rr 20 rr 20 Barrier-free
Group 2
Export course dates of this group as iCalendar (.ics)
Help
Haslbeck M.
Date Time Location
Wed 2019-10-09
 15.15 - 16.00 rr 20 rr 20 Barrier-free
Wed 2019-10-16
 15.15 - 16.00 rr 20 rr 20 Barrier-free
Wed 2019-10-23
 15.15 - 16.00 rr 20 rr 20 Barrier-free
Wed 2019-10-30
 15.15 - 16.00 rr 20 rr 20 Barrier-free
Wed 2019-11-06
 15.15 - 16.00 rr 20 rr 20 Barrier-free
Wed 2019-11-13
 15.15 - 16.00 rr 20 rr 20 Barrier-free
Wed 2019-11-20
 15.15 - 16.00 rr 20 rr 20 Barrier-free
Wed 2019-11-27
 15.15 - 16.00 rr 20 rr 20 Barrier-free
Wed 2019-12-04
 15.15 - 16.00 rr 20 rr 20 Barrier-free
Wed 2019-12-11
 15.15 - 16.00 rr 20 rr 20 Barrier-free
Wed 2020-01-08
 15.15 - 16.00 rr 20 rr 20 Barrier-free
Wed 2020-01-15
 15.15 - 16.00 rr 20 rr 20 Barrier-free
Wed 2020-01-22
 15.15 - 16.00 rr 20 rr 20 Barrier-free
Wed 2020-01-29
 15.15 - 16.00 rr 20 rr 20 Barrier-free
Group 3
Export course dates of this group as iCalendar (.ics)
Help
Haslbeck M.
Date Time Location
Wed 2019-10-09
 16.15 - 17.00 rr 20 rr 20 Barrier-free
Wed 2019-10-16
 16.15 - 17.00 rr 20 rr 20 Barrier-free
Wed 2019-10-23
 16.15 - 17.00 rr 20 rr 20 Barrier-free
Wed 2019-10-30
 16.15 - 17.00 rr 20 rr 20 Barrier-free
Wed 2019-11-06
 16.15 - 17.00 rr 20 rr 20 Barrier-free
Wed 2019-11-13
 16.15 - 17.00 rr 20 rr 20 Barrier-free
Wed 2019-11-20
 16.15 - 17.00 rr 20 rr 20 Barrier-free
Wed 2019-11-27
 16.15 - 17.00 rr 20 rr 20 Barrier-free
Wed 2019-12-04
 16.15 - 17.00 rr 20 rr 20 Barrier-free
Wed 2019-12-11
 16.15 - 17.00 rr 20 rr 20 Barrier-free
Wed 2020-01-08
 16.15 - 17.00 rr 20 rr 20 Barrier-free
Wed 2020-01-15
 16.15 - 17.00 rr 20 rr 20 Barrier-free
Wed 2020-01-22
 16.15 - 17.00 rr 20 rr 20 Barrier-free
Wed 2020-01-29
 16.15 - 17.00 rr 20 rr 20 Barrier-free
Group 4
Export course dates of this group as iCalendar (.ics)
Help
van Oostrom V.
Date Time Location
Wed 2019-10-09
 17.15 - 18.00 rr 20 rr 20 Barrier-free
Wed 2019-10-16
 17.15 - 18.00 rr 20 rr 20 Barrier-free
Wed 2019-10-23
 17.15 - 18.00 rr 20 rr 20 Barrier-free
Wed 2019-10-30
 17.15 - 18.00 rr 20 rr 20 Barrier-free
Wed 2019-11-06
 17.15 - 18.00 rr 20 rr 20 Barrier-free
Wed 2019-11-13
 17.15 - 18.00 rr 20 rr 20 Barrier-free
Wed 2019-11-20
 17.15 - 18.00 rr 20 rr 20 Barrier-free
Wed 2019-11-27
 17.15 - 18.00 rr 20 rr 20 Barrier-free
Wed 2019-12-04
 17.15 - 18.00 rr 20 rr 20 Barrier-free
Wed 2019-12-11
 17.15 - 18.00 rr 20 rr 20 Barrier-free
Wed 2020-01-08
 17.15 - 18.00 rr 20 rr 20 Barrier-free
Wed 2020-01-15
 17.15 - 18.00 rr 20 rr 20 Barrier-free
Wed 2020-01-22
 17.15 - 18.00 rr 20 rr 20 Barrier-free
Wed 2020-01-29
 17.15 - 18.00 rr 20 rr 20 Barrier-free
Group 5
Export course dates of this group as iCalendar (.ics)
Help
van Oostrom V.
Date Time Location
Wed 2019-10-09
 18.15 - 19.00 rr 20 rr 20 Barrier-free
Wed 2019-10-16
 18.15 - 19.00 rr 20 rr 20 Barrier-free
Wed 2019-10-23
 18.15 - 19.00 rr 20 rr 20 Barrier-free
Wed 2019-10-30
 18.15 - 19.00 rr 20 rr 20 Barrier-free
Wed 2019-11-06
 18.15 - 19.00 rr 20 rr 20 Barrier-free
Wed 2019-11-13
 18.15 - 19.00 rr 20 rr 20 Barrier-free
Wed 2019-11-20
 18.15 - 19.00 rr 20 rr 20 Barrier-free
Wed 2019-11-27
 18.15 - 19.00 rr 20 rr 20 Barrier-free
Wed 2019-12-04
 18.15 - 19.00 rr 20 rr 20 Barrier-free
Wed 2019-12-11
 18.15 - 19.00 rr 20 rr 20 Barrier-free
Wed 2020-01-08
 18.15 - 19.00 rr 20 rr 20 Barrier-free
Wed 2020-01-15
 18.15 - 19.00 rr 20 rr 20 Barrier-free
Wed 2020-01-22
 18.15 - 19.00 rr 20 rr 20 Barrier-free
Wed 2020-01-29
 18.15 - 19.00 rr 20 rr 20 Barrier-free
Group 6
Export course dates of this group as iCalendar (.ics)
Help
Keulen B.
Date Time Location
Wed 2019-10-09
 15.15 - 16.00 rr 15 rr 15 Barrier-free
Wed 2019-10-16
 15.15 - 16.00 rr 15 rr 15 Barrier-free
Wed 2019-10-23
 15.15 - 16.00 rr 15 rr 15 Barrier-free
Wed 2019-10-30
 15.15 - 16.00 rr 15 rr 15 Barrier-free
Wed 2019-11-06
 15.15 - 16.00 rr 15 rr 15 Barrier-free
Wed 2019-11-13
 15.15 - 16.00 rr 15 rr 15 Barrier-free
Wed 2019-11-20
 15.15 - 16.00 rr 15 rr 15 Barrier-free
Wed 2019-11-27
 15.15 - 16.00 rr 15 rr 15 Barrier-free
Wed 2019-12-04
 15.15 - 16.00 rr 15 rr 15 Barrier-free
Wed 2019-12-11
 15.15 - 16.00 rr 15 rr 15 Barrier-free
Wed 2020-01-08
 15.15 - 16.00 rr 15 rr 15 Barrier-free
Wed 2020-01-15
 15.15 - 16.00 rr 15 rr 15 Barrier-free
Wed 2020-01-22
 15.15 - 16.00 rr 15 rr 15 Barrier-free
Wed 2020-01-29
 15.15 - 16.00 rr 15 rr 15 Barrier-free
Group 7
Export course dates of this group as iCalendar (.ics)
Help
Keulen B.
Date Time Location
Wed 2019-10-09
 16.15 - 17.00 rr 15 rr 15 Barrier-free
Wed 2019-10-16
 16.15 - 17.00 rr 15 rr 15 Barrier-free
Wed 2019-10-23
 16.15 - 17.00 rr 15 rr 15 Barrier-free
Wed 2019-10-30
 16.15 - 17.00 rr 15 rr 15 Barrier-free
Wed 2019-11-06
 16.15 - 17.00 rr 15 rr 15 Barrier-free
Wed 2019-11-13
 16.15 - 17.00 rr 15 rr 15 Barrier-free
Wed 2019-11-20
 16.15 - 17.00 rr 15 rr 15 Barrier-free
Wed 2019-11-27
 16.15 - 17.00 rr 15 rr 15 Barrier-free
Wed 2019-12-04
 16.15 - 17.00 rr 15 rr 15 Barrier-free
Wed 2019-12-11
 16.15 - 17.00 rr 15 rr 15 Barrier-free
Wed 2020-01-08
 16.15 - 17.00 rr 15 rr 15 Barrier-free
Wed 2020-01-15
 16.15 - 17.00 rr 15 rr 15 Barrier-free
Wed 2020-01-22
 16.15 - 17.00 rr 15 rr 15 Barrier-free
Wed 2020-01-29
 16.15 - 17.00 rr 15 rr 15 Barrier-free
Group 8
Export course dates of this group as iCalendar (.ics)
Help
Schöpf J.
Date Time Location
Wed 2019-10-09
 14.15 - 15.00 rr 21 rr 21 Barrier-free
Wed 2019-10-16
 14.15 - 15.00 rr 21 rr 21 Barrier-free
Wed 2019-10-23
 14.15 - 15.00 rr 21 rr 21 Barrier-free
Wed 2019-10-30
 14.15 - 15.00 rr 21 rr 21 Barrier-free
Wed 2019-11-06
 14.15 - 15.00 rr 21 rr 21 Barrier-free
Wed 2019-11-13
 14.15 - 15.00 rr 21 rr 21 Barrier-free
Wed 2019-11-20
 14.15 - 15.00 rr 21 rr 21 Barrier-free
Wed 2019-11-27
 14.15 - 15.00 rr 21 rr 21 Barrier-free
Wed 2019-12-04
 14.15 - 15.00 rr 21 rr 21 Barrier-free
Wed 2019-12-11
 14.15 - 15.00 rr 21 rr 21 Barrier-free
Wed 2020-01-08
 14.15 - 15.00 rr 21 rr 21 Barrier-free
Wed 2020-01-15
 14.15 - 15.00 rr 21 rr 21 Barrier-free
Wed 2020-01-22
 14.15 - 15.00 rr 21 rr 21 Barrier-free
Wed 2020-01-29
 14.15 - 15.00 rr 21 rr 21 Barrier-free
Group 9
Export course dates of this group as iCalendar (.ics)
Help
Schöpf J.
Date Time Location
Wed 2019-10-09
 15.15 - 16.00 rr 21 rr 21 Barrier-free
Wed 2019-10-16
 15.15 - 16.00 rr 21 rr 21 Barrier-free
Wed 2019-10-23
 15.15 - 16.00 rr 21 rr 21 Barrier-free
Wed 2019-10-30
 15.15 - 16.00 rr 21 rr 21 Barrier-free
Wed 2019-11-06
 15.15 - 16.00 rr 21 rr 21 Barrier-free
Wed 2019-11-13
 15.15 - 16.00 rr 21 rr 21 Barrier-free
Wed 2019-11-20
 15.15 - 16.00 rr 21 rr 21 Barrier-free
Wed 2019-11-27
 15.15 - 16.00 rr 21 rr 21 Barrier-free
Wed 2019-12-04
 15.15 - 16.00 rr 21 rr 21 Barrier-free
Wed 2019-12-11
 15.15 - 16.00 rr 21 rr 21 Barrier-free
Wed 2020-01-08
 15.15 - 16.00 rr 21 rr 21 Barrier-free
Wed 2020-01-15
 15.15 - 16.00 rr 21 rr 21 Barrier-free
Wed 2020-01-22
 15.15 - 16.00 rr 21 rr 21 Barrier-free
Wed 2020-01-29
 15.15 - 16.00 rr 21 rr 21 Barrier-free
Group 10
Export course dates of this group as iCalendar (.ics)
Help
Schöpf J.
Date Time Location
Wed 2019-10-09
 16.15 - 17.00 rr 21 rr 21 Barrier-free
Wed 2019-10-16
 16.15 - 17.00 rr 21 rr 21 Barrier-free
Wed 2019-10-23
 16.15 - 17.00 rr 21 rr 21 Barrier-free
Wed 2019-10-30
 16.15 - 17.00 rr 21 rr 21 Barrier-free
Wed 2019-11-06
 16.15 - 17.00 rr 21 rr 21 Barrier-free
Wed 2019-11-13
 16.15 - 17.00 rr 21 rr 21 Barrier-free
Wed 2019-11-20
 16.15 - 17.00 rr 21 rr 21 Barrier-free
Wed 2019-11-27
 16.15 - 17.00 rr 21 rr 21 Barrier-free
Wed 2019-12-04
 16.15 - 17.00 rr 21 rr 21 Barrier-free
Wed 2019-12-11
 16.15 - 17.00 rr 21 rr 21 Barrier-free
Wed 2020-01-08
 16.15 - 17.00 rr 21 rr 21 Barrier-free
Wed 2020-01-15
 16.15 - 17.00 rr 21 rr 21 Barrier-free
Wed 2020-01-22
 16.15 - 17.00 rr 21 rr 21 Barrier-free
Wed 2020-01-29
 16.15 - 17.00 rr 21 rr 21 Barrier-free
Group 11
Export course dates of this group as iCalendar (.ics)
Help
Zhang X.
Date Time Location
Wed 2019-10-09
 17.15 - 18.00 rr 21 rr 21 Barrier-free
Wed 2019-10-16
 17.15 - 18.00 rr 21 rr 21 Barrier-free
Wed 2019-10-23
 17.15 - 18.00 rr 21 rr 21 Barrier-free
Wed 2019-10-30
 17.15 - 18.00 rr 21 rr 21 Barrier-free
Wed 2019-11-06
 17.15 - 18.00 rr 21 rr 21 Barrier-free
Wed 2019-11-13
 17.15 - 18.00 rr 21 rr 21 Barrier-free
Wed 2019-11-20
 17.15 - 18.00 rr 21 rr 21 Barrier-free
Wed 2019-11-27
 17.15 - 18.00 rr 21 rr 21 Barrier-free
Wed 2019-12-04
 17.15 - 18.00 rr 21 rr 21 Barrier-free
Wed 2019-12-11
 17.15 - 18.00 rr 21 rr 21 Barrier-free
Wed 2020-01-08
 17.15 - 18.00 rr 21 rr 21 Barrier-free
Wed 2020-01-15
 17.15 - 18.00 rr 21 rr 21 Barrier-free
Wed 2020-01-22
 17.15 - 18.00 rr 21 rr 21 Barrier-free
Wed 2020-01-29
 17.15 - 18.00 rr 21 rr 21 Barrier-free
Group 12
Export course dates of this group as iCalendar (.ics)
Help
Meßner F.
Date Time Location
Wed 2019-10-09
 18.15 - 19.00 rr 21 rr 21 Barrier-free Erweiterungsstudium Informatik
Wed 2019-10-16
 18.15 - 19.00 rr 21 rr 21 Barrier-free Erweiterungsstudium Informatik
Wed 2019-10-23
 18.15 - 19.00 rr 21 rr 21 Barrier-free Erweiterungsstudium Informatik
Wed 2019-10-30
 18.15 - 19.00 rr 21 rr 21 Barrier-free Erweiterungsstudium Informatik
Wed 2019-11-06
 18.15 - 19.00 rr 21 rr 21 Barrier-free Erweiterungsstudium Informatik
Wed 2019-11-13
 18.15 - 19.00 rr 21 rr 21 Barrier-free Erweiterungsstudium Informatik
Wed 2019-11-20
 18.15 - 19.00 rr 21 rr 21 Barrier-free Erweiterungsstudium Informatik
Wed 2019-11-27
 18.15 - 19.00 rr 21 rr 21 Barrier-free Erweiterungsstudium Informatik
Wed 2019-12-04
 18.15 - 19.00 rr 21 rr 21 Barrier-free Erweiterungsstudium Informatik
Wed 2019-12-11
 18.15 - 19.00 rr 21 rr 21 Barrier-free Erweiterungsstudium Informatik
Wed 2020-01-08
 18.15 - 19.00 rr 21 rr 21 Barrier-free Erweiterungsstudium Informatik
Wed 2020-01-15
 18.15 - 19.00 rr 21 rr 21 Barrier-free Erweiterungsstudium Informatik
Wed 2020-01-22
 18.15 - 19.00 rr 21 rr 21 Barrier-free Erweiterungsstudium Informatik
Wed 2020-01-29
 18.15 - 19.00 rr 21 rr 21 Barrier-free Erweiterungsstudium Informatik
Group 13
Export course dates of this group as iCalendar (.ics)
Help
Schöpf J.
Date Time Location
Wed 2019-10-09
 11.15 - 12.00 rr 20 rr 20 Barrier-free
Wed 2019-10-16
 11.15 - 12.00 rr 20 rr 20 Barrier-free
Wed 2019-10-23
 11.15 - 12.00 rr 20 rr 20 Barrier-free
Wed 2019-10-30
 11.15 - 12.00 rr 20 rr 20 Barrier-free
Wed 2019-11-06
 11.15 - 12.00 rr 20 rr 20 Barrier-free
Wed 2019-11-13
 11.15 - 12.00 rr 20 rr 20 Barrier-free
Wed 2019-11-20
 11.15 - 12.00 rr 20 rr 20 Barrier-free
Wed 2019-11-27
 11.15 - 12.00 rr 20 rr 20 Barrier-free
Wed 2019-12-04
 11.15 - 12.00 rr 20 rr 20 Barrier-free
Wed 2019-12-11
 11.15 - 12.00 rr 20 rr 20 Barrier-free
Wed 2020-01-08
 11.15 - 12.00 rr 20 rr 20 Barrier-free
Wed 2020-01-15
 11.15 - 12.00 rr 20 rr 20 Barrier-free
Wed 2020-01-22
 11.15 - 12.00 rr 20 rr 20 Barrier-free
Wed 2020-01-29
 11.15 - 12.00 rr 20 rr 20 Barrier-free
Group 14
Export course dates of this group as iCalendar (.ics)
Help
Zhang X.
Date Time Location
Wed 2019-10-09
 11.15 - 12.00 rr 22 rr 22
Wed 2019-10-16
 11.15 - 12.00 rr 22 rr 22
Wed 2019-10-23
 11.15 - 12.00 rr 22 rr 22
Wed 2019-10-30
 11.15 - 12.00 rr 22 rr 22
Wed 2019-11-06
 11.15 - 12.00 rr 22 rr 22
Wed 2019-11-13
 11.15 - 12.00 rr 22 rr 22
Wed 2019-11-20
 11.15 - 12.00 rr 22 rr 22
Wed 2019-11-27
 11.15 - 12.00 rr 22 rr 22
Wed 2019-12-04
 11.15 - 12.00 rr 22 rr 22
Wed 2019-12-11
 11.15 - 12.00 rr 22 rr 22
Wed 2020-01-08
 11.15 - 12.00 rr 22 rr 22
Wed 2020-01-15
 11.15 - 12.00 rr 22 rr 22
Wed 2020-01-22
 11.15 - 12.00 rr 22 rr 22
Wed 2020-01-29
 11.15 - 12.00 rr 22 rr 22
Group 15
Export course dates of this group as iCalendar (.ics)
Help
Meßner F.
Date Time Location
Wed 2019-10-09
 17.15 - 18.00 rr 15 rr 15 Barrier-free Erweiterungsstudium Informatik
Wed 2019-10-16
 17.15 - 18.00 rr 15 rr 15 Barrier-free Erweiterungsstudium Informatik
Wed 2019-10-23
 17.15 - 18.00 rr 15 rr 15 Barrier-free Erweiterungsstudium Informatik
Wed 2019-10-30
 17.15 - 18.00 rr 15 rr 15 Barrier-free Erweiterungsstudium Informatik
Wed 2019-11-06
 17.15 - 18.00 rr 15 rr 15 Barrier-free Erweiterungsstudium Informatik
Wed 2019-11-13
 17.15 - 18.00 rr 15 rr 15 Barrier-free Erweiterungsstudium Informatik
Wed 2019-11-20
 17.15 - 18.00 rr 15 rr 15 Barrier-free Erweiterungsstudium Informatik
Wed 2019-11-27
 17.15 - 18.00 rr 15 rr 15 Barrier-free Erweiterungsstudium Informatik
Wed 2019-12-04
 17.15 - 18.00 rr 15 rr 15 Barrier-free Erweiterungsstudium Informatik
Wed 2019-12-11
 17.15 - 18.00 rr 15 rr 15 Barrier-free Erweiterungsstudium Informatik
Wed 2020-01-08
 17.15 - 18.00 rr 15 rr 15 Barrier-free Erweiterungsstudium Informatik
Wed 2020-01-15
 17.15 - 18.00 rr 15 rr 15 Barrier-free Erweiterungsstudium Informatik
Wed 2020-01-22
 17.15 - 18.00 rr 15 rr 15 Barrier-free Erweiterungsstudium Informatik
Wed 2020-01-29
 17.15 - 18.00 rr 15 rr 15 Barrier-free Erweiterungsstudium Informatik
Group 16
Export course dates of this group as iCalendar (.ics)
Help
Meßner F.
Date Time Location
Wed 2019-10-09
 16.15 - 17.00 rr 26 rr 26
Wed 2019-10-16
 16.15 - 17.00 rr 26 rr 26
Wed 2019-10-23
 16.15 - 17.00 rr 26 rr 26
Wed 2019-10-30
 16.15 - 17.00 rr 26 rr 26
Wed 2019-11-06
 16.15 - 17.00 rr 26 rr 26
Wed 2019-11-13
 16.15 - 17.00 rr 26 rr 26
Wed 2019-11-20
 16.15 - 17.00 rr 26 rr 26
Wed 2019-11-27
 16.15 - 17.00 rr 26 rr 26
Wed 2019-12-04
 16.15 - 17.00 rr 26 rr 26
Wed 2019-12-11
 16.15 - 17.00 rr 26 rr 26
Wed 2020-01-08
 16.15 - 17.00 rr 26 rr 26
Wed 2020-01-15
 16.15 - 17.00 rr 26 rr 26
Wed 2020-01-22
 16.15 - 17.00 rr 26 rr 26
Wed 2020-01-29
 16.15 - 17.00 rr 26 rr 26