Speaker Prof. Dr. Helmut Seidl
Location MW 2001
Date Friday, 08:30 - 10:00
Module IN0003


Please find the room assignment for the exam in 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 takes place on Friday from 08:30 to 10:00 in MW 2001 Rudolf-Diesel-Hörsaal. The first lecture is on October 19th, 2018.

The lecture is given in English.

Lecture Slides

Lecture Recordings Archive


Nico Hartmann and Ralf Vogler are responsible for the weekly exercises accompanying the lecture.

Exercise Sheets

Every week of the lecture is accompanied by an exercise sheet, which is published on the weekend before that week on moodle:


The sheets contain two types of assignments: Lesson (L) and Homework (H). While you will solve and discuss the former together in the exercise sessions, you are supposed to solve latter on your own and submit your solution to moodle by the end of the week. Your solution may be in English or German, whatever you prefer. Please note that you are not allowed to solve homework in groups, so do not submit anything you did not solve on your own, since violating this rule will have severe consequences. Note that we have both manual and automatic ways to check for plagiarism.

Solving the homework assignments is necessary to pass the exam and in order to be able to do so, active participation in the exercise sessions is highly recommended.

Grade Bonus

Homework you submit will be assessed by the tutors and you will be awarded with a corresponding amount of points. If you manage to acquire X% of the total points over all exercise sheets, you will be rewarded with an 0.3 bonus to your final grade. In order to not make people stop practicing immediately once they reach X or cannot reach X anymore, we do not decide on X, yet. At the end of the semester, we will choose X in such a way that those of you that worked on their assignments seriously and regularly, will get the bonus. However, we guarantee that X will not be higher than 70.

Note, that the bonus can only increase your grade if you pass the exam, it cannot make you pass the exam with a grade of 4.3. The bonus will be charged for the repeat exam as well.


Solutions to the lesson assignments will be published together with the exercise sheet. We highly recommend that you do not have a look at them before you have tried to solve them in the tutorials, though. Solutions for the homework will be published after the submission deadline (usually on the Monday of the following week). Have a look at them and make sure you understand everything!


Exam: Wednesday, February 20th, 2019 from 16:00 to 18:00.


The exam review will take place on Friday March 15th starting at 9am in Interim 2 (also visible in your TUMonline calendar).

To avoid chaos and long waiting times, you will be assigned a specific time slot - be on time! In TUMonline inside the comment it says "Das Einsichtsticket lautet XYZ".

With this ticket you have to register for a time slot at this URL:

If you cannot make it at this date, there are a couple of options (all of which I prefer to being spammed with mails):

  • Come to the inspection of the retake exam. If you just want to see your result or discuss half a point to get a better grade, you can do so at the inspection of the retake exam.
  • Authorize someone to inspect your exam for you. In this case we need a written and signed document that states so and names the person you want to inspect your exam.
  • We will consider announcing an alternative date at which you can inspect your exam (probably first week of April). Please wait until we have further details. This alternative is only for those that cannot use the other options for serious reasons!

There is another chance to see your exam on April 2nd at 2pm in 02.07.014.

Retake Exam: Tuesday, April 16th, 2019 from 10:30 to 12:30.

Questions may be answered in English or German.

You will be allowed to bring a double-sided (hand- and/or machine-written) DIN A-4 sheet to the exam.

The room assignments are now in Moodle! Make sure you find to the right exam room.


The exam review (retake) will take place on Friday, April 26th starting at 4pm in HS1 (also visible in your TUMOnline calendar).

Register for the review using this link. The same rules apply as for the first review.


This term we will be using Piazza for class discussion. The system is highly catered to getting you help fast and efficiently from classmates, the TA, and myself. Rather than emailing questions to the teaching staff, I encourage you to post your questions on Piazza. If you have any problems or feedback for the developers, email team@piazza.com.

Find our class page at: piazza.com/tum.de/fall2018/in0003/home