703024 VO Functional Programming
winter semester 2019/2020 | Last update: 22.09.2020 | 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
Group 0
|
||||
---|---|---|---|---|
Date | Time | Location | ||
Fri 2019-10-04
|
13.15 - 15.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Tue 2019-10-08
|
14.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrier-free | TUTORIUM |
Fri 2019-10-11
|
13.15 - 15.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Tue 2019-10-15
|
14.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrier-free | TUTORIUM |
Tue 2019-10-22
|
14.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrier-free | TUTORIUM |
Fri 2019-10-25
|
13.15 - 15.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Tue 2019-10-29
|
14.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrier-free | TUTORIUM |
Tue 2019-11-05
|
14.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrier-free | TUTORIUM |
Fri 2019-11-08
|
13.15 - 15.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Tue 2019-11-12
|
14.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrier-free | TUTORIUM |
Fri 2019-11-15
|
13.15 - 15.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Tue 2019-11-19
|
14.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrier-free | TUTORIUM |
Fri 2019-11-22
|
13.15 - 15.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Tue 2019-11-26
|
14.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrier-free | TUTORIUM |
Fri 2019-11-29
|
13.15 - 15.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Tue 2019-12-03
|
14.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrier-free | TUTORIUM |
Fri 2019-12-06
|
13.15 - 15.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Tue 2019-12-10
|
14.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrier-free | TUTORIUM |
Fri 2019-12-13
|
13.15 - 15.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Tue 2020-01-07
|
14.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrier-free | TUTORIUM |
Fri 2020-01-10
|
13.15 - 15.00 | Gr. HS Gr. HS | Barrier-free | |
Tue 2020-01-14
|
14.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrier-free | TUTORIUM |
Fri 2020-01-17
|
13.15 - 15.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Tue 2020-01-21
|
14.15 - 15.00 | HSB 4 HSB 4 | Barrier-free | TUTORIUM |
Fri 2020-01-24
|
13.15 - 15.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Tue 2020-01-28
|
14.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrier-free | TUTORIUM |
Fri 2020-01-31
|
13.15 - 15.00 | HS B (Technik) HS B (Technik) | Barrier-free | 1. Prüfung |
Fri 2020-01-31
|
13.15 - 15.15 | HS A (Technik) HS A (Technik) | Barrier-free | 1. Prüfung |
Wed 2020-02-26
|
11.45 - 14.00 | HS A (Technik) HS A (Technik) | Barrier-free | 2. Prüfung |
Fri 2020-02-28
|
08.30 - 15.00 | SR 12 SR 12 | Barrier-free | Klausurkorrektur |
Fri 2020-09-25
|
13.30 - 16.00 | HS C (Technik) HS C (Technik) | Barrier-free | 3. Prüfung |