703024 Functional Programming
winter semester 2014/2015 | Last update: 31.07.2015 | Place course on memo list703024
Functional Programming
VO 2
3
weekly
annually
English
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 algoriths; 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
not applicable
03.10.2014
- Faculty of Mathematics, Computer Science and Physics
Group 0
|
||||
---|---|---|---|---|
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 |