| Lecturer | Prof. Dr. Helmut Seidl |
| Location | see TUMOnline |
| Date | Mondays, 12 noon - 2pm |
| Module | IN0003 |
Further Information
All further information and links to relevant platforms will become available on Moodle.
Contents
- Correctness of imperative programs
- Fundamentals of functional programming with OCaml
- values, variables, functions
- data structures, pattern matching
- higher order functions
- polymorphic types
- queues
- Programming on the whole: Modules and functors
- Correctness of functional programs
- Concurrency with channels and rendezvous
Lecture
The lecture is given in English. Notice according to §12a APSO: The exam may partly be a Multiple Choice Exam (up to 50%, contingent on the agreement of FKR and the examination board).