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

News

Please find the room assignment for the exam in 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 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

Exercises

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:

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

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! 

Exercise Groups

Exercises will be offered in German as well as English.

We offer the following tutorials:

Note: For incomprehensible reasons, TUMonline has an upper limit of 25 groups per lecture instance. Since this is no longer sufficient for the size of our lecture, we have been forced to use two instances for this year. Therefore, you will find two entries for exercises in TUMonline of which the first one contains the Monday, Tuesday and Wednesday groups and the second one the Thursday and Friday groups respectively. You will thus be registered in one of them only. If you find this uncomfortable, annoying or merely ridiculous, we invite you to let the responsible parties (here and here) know it, as we are doing for years now.  

GroupDateRoomTutorEN
A.10.1Mo. 10:15-11:4500.08.059Fabian Kilger
A.12.1Mo. 12:00-13:3000.13.054Maximilian Schäffeler
A.12.2Mo. 12:00-13:3000.13.009ANico Hartmann
A.12.3Mo. 12:00-13:3000.08.059Maximilian Schitteck
A.16.1Mo. 16-1800.08.059Eugen Goldkin
A.16.2Mo. 16:00-17:3002.07.014Philipp HagenlocherYes
A.16.3Mo. 16:00-17:3000.13.036Maximilian Schäffeler
B.08.1Tu. 08:15-09:4501.11.018Florian Sextl
B.12.1Tu. 12:15-13:4503.09.012Fabian Kilger
B.16.1Tu. 16-1802.13.010Kristian Klemon
C.08.1We. 08:15-09:4500.13.008Jakob Gottfriedsen
C.14.1We. 14:15-15:4500.08.059Adrián Löwenberg
C.14.2We. 14-1602.07.014Fabio Madge Pimentel
C.16.1We. 16:00-17:3000.08.059Adrián LöwenbergYes
C.16.2We. 16-1800.13.008Kristian Klemon
C.16.3We. 16:00-17:3001.11.018Philipp Hagenlocher
D.08.1Th. 08:15-09:4501.11.018Jakob Gottfriedsen
D.10.1Th. 10:15-11:4501.11.018Maximilian Anzinger
D.10.2Th. 10:30-12:0000.11.038Muhammed Sahin
D.12.1Th. 12:15-13:4500.08.059Felix Wechsler
D.12.2Th. 12:15-13:4500.13.036Muhammed Sahin
D.14.1Th. 14:15-15:4500.08.059Felix Wechsler
D.14.2Th. 14:00-15:3000.13.036Jigao LuoYes
D.16.1Th. 16:15-17:4500.13.036Julian Villing
D.16.2Th. 16:00-17:3000.08.059Fabio Madge Pimentel
E.10.1Fr. 10:15-11:4500.08.038Hendrik Bothe
E.10.2Fr. 10:15-11:4501.11.018Paul Bachmann
E.12.1Fr. 12:15-13:4502.07.014Paul Bachmann
E.12.2Fr. 12-1400.08.059Felix Wolter
E.14.1Fr. 14-1600.08.059Felix Wolter
E.14.2Fr. 14-1600.13.008Eugen Goldkin

Note: Rooms, Tutors and Language may still change slightly during the first week(s).

 

Registration

Assignment of groups happens through the central matching system via the following link:

matching.in.tum.de

Rank the different dates according to your preferences until Fr. 19.10.18 15:00. Check the above list for available groups, their tutors and the language. You will then be able to see your matched group on Friday evening. 

Important: Other than last year, your group assignment is binding! Tutors are advised to ask you to leave the room if you are not registered for the group. We have to do this to prevent overflow of the rooms during the first weeks. We may however relax this rule (e.g. allow you to change your group registration) over the course of the semester.

Tutors

TutorEMail Address
Anzinger, Maximilianmaximilian.anzinger@tum.de
Bachmann, Paulga87diw@mytum.de
Bothe, Hendrikhendrik.bothe@tum.de
Goldkin, Eugenegoldkin@mytum.de
Gottfriedsen, Jakobj.gottfriedsen@tum.de
Hagenlocher, Philippphilipp.hagenlocher@tum.de
Kilger, Fabianf.kilger@tum.de
Klemon, Kristiankristian.klemon@gmail.com
Löwenberg, Adrianadrian.loewenberg@tum.de
Luo, Jigaojigao.luo@tum.de
Pimentel, Fabiofabio.madge@tum.de
Sahin, Muhammedga78coc@mytum.de
Schäffeler, Maximilianmaximilian.schaeffeler@tum.de
Schitteck, Maximilianmaximilian.schitteck@tum.de
Sextl, Floriansextl@in.tum.de
Villing, Julianjulian.villing@tum.de
Wechsler, Felixfelix.wechsler@tum.de
Wolter, Felixfelikswolter@aol.de

Exam

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

Review:

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: 131.159.58.91

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.

Review:

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.

Participation

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