703024 Functional Programming

winter semester 2015/2016 | Last update: 22.09.2016 Place course on memo list
703024
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
see dates
Group 0
Date Time Location
Fri 2015-10-09
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrier-free
Fri 2015-10-16
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrier-free
Fri 2015-10-23
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrier-free
Fri 2015-10-30
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrier-free
Fri 2015-11-06
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrier-free
Fri 2015-11-13
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrier-free
Fri 2015-11-20
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrier-free
Fri 2015-11-27
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrier-free
Fri 2015-12-04
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrier-free
Fri 2015-12-11
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrier-free
Fri 2015-12-18
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrier-free
Fri 2016-01-15
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrier-free
Fri 2016-01-22
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrier-free
Fri 2016-01-29
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrier-free
Fri 2016-02-05
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrier-free
Thu 2016-03-03
08.00 - 12.00 HS D (Technik) HS D (Technik) Barrier-free 2. Prüfung
Fri 2016-09-30
13.00 - 16.00 HS F (Technik) HS F (Technik) Barrier-free 3rd exam