703024 VO Functional Programming

winter semester 2021/2022 | Last update: 18.05.2022 Place course on memo list
703024
VO Functional Programming
VO 2
3
weekly
annually
German

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.

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

presentation

written exam

lecture notes

basic programming knowledge, formal notation

see dates
Group 0
Date Time Location
Tue 2021-10-05
12.15 - 14.00 HS B (Technik) HS B (Technik) Barrier-free
Mon 2021-10-11
12.15 - 14.00 HS B (Technik) HS B (Technik) Barrier-free
Mon 2021-10-11
18.15 - 19.00 HS B (Technik) HS B (Technik) Barrier-free TUTORIUM
Mon 2021-10-18
12.15 - 14.00 HS B (Technik) HS B (Technik) Barrier-free
Mon 2021-10-18
18.15 - 19.00 HS B (Technik) HS B (Technik) Barrier-free TUTORIUM
Mon 2021-10-25
12.15 - 14.00 HS B (Technik) HS B (Technik) Barrier-free
Mon 2021-10-25
18.15 - 19.00 HS B (Technik) HS B (Technik) Barrier-free TUTORIUM
Mon 2021-11-08
12.15 - 14.00 HS B (Technik) HS B (Technik) Barrier-free
Mon 2021-11-08
18.15 - 19.00 HS B (Technik) HS B (Technik) Barrier-free TUTORIUM
Mon 2021-11-15
12.15 - 14.00 HS B (Technik) HS B (Technik) Barrier-free
Mon 2021-11-15
18.15 - 19.00 HS B (Technik) HS B (Technik) Barrier-free TUTORIUM
Mon 2021-11-22
12.15 - 14.00 HS B (Technik) HS B (Technik) Barrier-free
Mon 2021-11-22
18.15 - 19.00 HS B (Technik) HS B (Technik) Barrier-free TUTORIUM
Mon 2021-11-29
12.15 - 14.00 HS B (Technik) HS B (Technik) Barrier-free
Mon 2021-11-29
18.15 - 19.00 HS B (Technik) HS B (Technik) Barrier-free TUTORIUM
Mon 2021-12-06
12.15 - 14.00 HS B (Technik) HS B (Technik) Barrier-free
Mon 2021-12-06
18.15 - 19.00 HS B (Technik) HS B (Technik) Barrier-free TUTORIUM
Mon 2021-12-13
12.15 - 14.00 HS B (Technik) HS B (Technik) Barrier-free
Mon 2021-12-13
18.15 - 19.00 HS B (Technik) HS B (Technik) Barrier-free TUTORIUM
Mon 2022-01-10
12.15 - 14.00 HS B (Technik) HS B (Technik) Barrier-free
Mon 2022-01-10
18.15 - 19.00 HS B (Technik) HS B (Technik) Barrier-free TUTORIUM
Mon 2022-01-17
12.15 - 14.00 HS B (Technik) HS B (Technik) Barrier-free
Mon 2022-01-17
18.15 - 19.00 HS B (Technik) HS B (Technik) Barrier-free TUTORIUM
Mon 2022-01-24
12.15 - 14.00 HS B (Technik) HS B (Technik) Barrier-free
Mon 2022-01-24
18.15 - 19.00 HS B (Technik) HS B (Technik) Barrier-free TUTORIUM
Mon 2022-01-31
12.15 - 14.00 HS B (Technik) HS B (Technik) Barrier-free
Mon 2022-01-31
18.15 - 19.00 HS B (Technik) HS B (Technik) Barrier-free TUTORIUM
Mon 2022-02-07
15.30 - 18.00 eLecture - online eLecture - online 1.Klausur
Mon 2022-02-07
15.30 - 18.00 eLecture - online eLecture - online 1.Klausur
Mon 2022-02-07
15.30 - 18.00 eLecture - online eLecture - online 1.Klausur
Mon 2022-03-14
16.15 - 18.45 HS B (Technik) HS B (Technik) Barrier-free 2. Klausur
Mon 2022-03-14
16.15 - 18.45 HSB 3 HSB 3 Barrier-free 2. Klausur
Mon 2022-09-19
10.00 - 12.00 HSB 3 HSB 3 Barrier-free 3. Klausur
Group Booking period Date of exam
703024-0 2022-07-01 00:00 - 2022-09-12 23:59
2022-09-19
10:15-11:45
HSB 3
Note:
3. Klausur
Thiemann R.