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.


  • 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


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).

Lecture Recordings Archive