Teacher: Michael R. Hansen.
Textbook: Functional Programming using F#, Michael R. Hansen and Hans Rischel, Cambridge University Press, 2013. (Abbreviated HR.)
Introduction to functional programming and F#
Lists (brief introduction)
Functions, Basic types and Tuples|
Lists, Types, Polymorphism
HR 2, HR 3.1-3.3, HR 4.1 - 4.4
|38||22. Sept.||Company presentations||Exercises that are based on old exam questions|
|39||29. Sept.|| Programming as a model-based activity
|HR 3.4-3.7, HR 4||
HR 4.17, 4.19, 4.20, 4.23, 4.18
The first mandatory assignment will be released in CampusNet this Friday at 11:30.
It should be submitted under Assignments in CampusNet on Thursday, Oct. 5, 2017.
|40||6. Oct.|| Disjoint union (Tagged values)
Higher-order list functions
| HR 3.8-3.11
|41||13. Oct.|| Collections: Sets and Maps
It should be submitted under Assignments in CampusNet on Thursday, Oct. 26, 2017.
|42||20. Oct.||Autumn vacation|
|43||27. Oct.|| Finite trees (I)
|44||3. Nov.|| Finite trees (II)
It should be submitted under Assignments in CampusNet on Thursday, Nov. 9, 2017.
|45||10. Nov.|| Efficiency
|46||17. Nov.|| Sequences
|47||24. Nov.|| Modules
A short lecture on verification
A short lecture on parallel and monadic programming
It should be submitted under Assignments in CampusNet on Thursday, Nov. 30, 2017.
|48||1. Dec.|| A short lecture on Dialogue Programmes
Old exam questions.
|Work on exam set.|
|49||8. Dec.|| Course evaluation
A short lecture on synthesis of control algorithms for railway networks
-- including some graph algorithms
Exercises based on old exam questions
|Work on exercise set.|
Michael R. Hansen, December 05, 2017