703024 VO Functional Programming
winter semester 2021/2022 | Last update: 18.05.2022 | Place course on memo list703024
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
- Faculty of Mathematics, Computer Science and Physics
- Bachelor's Programme Computer Science according to the Curriculum 2007 (180 ECTS-Credits, 6 semesters)
- Bachelor's Programme Computer Science according to the Curriculum 2019 (180 ECTS-Credits, 6 semesters)
- Supplementary Programme Computer Science according to the Curriculum 2019 (60 ECTS-Credits, 2 semesters)
- Faculty of Teacher Education
- Extension Study Programmes
- SDG 4 - Quality education: Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all.
- SDG 9 - Industry, Innovation, and Infrastructure: Build resilient infrastructure, promote inclusive and sustainable industrialization, and foster innovation.
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 |