Functional Programming and Verification

Chair for Logic and Verification

Exercise Sheets

The sheets will be posted here and on Moodle.

Exercise01 Tut01 template Tut01 solutions Exercise01 solutions
Exercise02 Tut02 template Tut02 solutions Exercise02 solutions
Exercise03 Tut03 template Tut03 solutions Exercise03 solutions
Exercise04 Tut04 template Tut04 solutions Exercise04 solutions
Exercise05 Tut05 template Tut05 solutions Exercise05 solutions
Exercise06 Tut06 template Tut06 solutions Exercise06 solutions
🎄Exercise07🎄 Tut07 template Tut07 solutions Exercise07 solutions
Exercise08 No tutorials Note: deadline 11.01.2021 Exercise08 solutions
Exercise09 Tut09 template Tut09 solutions Exercise09 solutions
Exercise10 Tut10 template Tut10 solutions Exercise10 solutions
Exercise11 Tut11 template Tut11 solutions Exercise11 solutions
Exercise12 Tut12 template Tut12 solutions Exercise12 solutions
Exercise13 Tut13 template Tut13 solutions

Homework

The homework exercises deepen the knowledge taught in the lecture and are a good preparation for the exam. Presumably, there will be 12 homework sheets.

Your homework submissions will be automatically graded on Artemis. If the feedback provided on Artemis and your own research does not get you any further, we kindly ask you to consider posting your question on Zulip. If you feel like Zulip is not the right medium to resolve your question, you will have the chance to request manual feedback on Artemis using a request token:

  1. You start with three request tokens.
  2. Your feedback request must make it clear that you seriously tried to deal with described issue on your own already.
  3. If the assigned tutor decides that the request is meaningless or unspecific, you lose your token; otherwise, your token will be handed back to you.

Grade Bonus

We offer a grade bonus of 0.3 if you collect 8 coins in the course of the semester and pass the final exam or retake (<=4.0 without grade bonus). You collect one coin per homework sheet given that

  1. You work on the exercises on your own. Group work is strictly prohibited.
  2. You derive the solution on your own. Plagiarism is strictly prohibited. References to external sources need to be cited appropriately.
  3. You submit the homework in time and collect the minimum number of points as stated on the corresponding homework sheet in your final submission before the deadline.

We will also offer other ways to collect coins in the course of the semester, such as participation in workshops or programming contests.

Tutorials

The tutorials will take place online on BigBlueButton. To participate in a tutorial, you have to register for your tutorial group of choice on TUMonline and use the Haskell programming environment as described in the installation instructions. Moreover, you will need a microphone to participate and we strongly recommed you to use a camera during our pair programming tasks.

You will be matched to a tutorial on 08.11. We urge you to visit the tutorial you are matched to for capacity reasons. You can find the BigBlueButton-link to your tutorial on TUMonline.

List of Tutorials

Note that tutorials DI-14-2, MI-14-2-E, DO-12-3-E, DO-14-1-E, DO-16-1-E, and DO-16-2-E will be held in English.

Update 20.11: group MI-12-1-E moved to DO-14-1-E.

Day Start End Group Name Tutor
Monday 12:00 13:30 MO-12-1 Trouvain, Mira
Monday 12:00 14:00 MO-12-2 Stevens, Lukas
Monday 14:00 16:00 MO-14-1 Nickel, Kira
Monday 14:15 15:45 MO-14-3 Großmann, Patrick
Monday 16:00 17:30 MO-16-1 Haucke, Marco
Monday 16:00 17:30 MO-16-2 Hagenlocher, Philipp
Monday 16:00 17:30 MO-16-3 Trouvain, Mira
Tuesday 08:00 09:30 DI-8-1 Polat, Mete
Tuesday 08:00 09:30 DI-8-2 Fabian Pröbstle
Tuesday 08:30 10:00 DI-8-3 Weidinger, Korbinian
Tuesday 10:00 12:00 DI-10-1 Eldeeb, Omar
Tuesday 10:00 11:30 DI-10-2 Wimmer, Thomas
Tuesday 10:15 11:45 DI-10-3 Zamel, Leon
Tuesday 12:15 13:45 DI-12-1 Großmann, Patrick
Tuesday 12:30 14:00 DI-12-2 Wimmer, Thomas
Tuesday 12:00 13:30 DI-12-3 Weidinger, Korbinian
Tuesday 14:15 15:45 DI-14-1 Gavryushin, Alexey
Tuesday 14:00 16:00 DI-14-2-E Panfil, Alexandrina
Tuesday 16:00 17:30 DI-16-1 Hagenlocher, Philipp
Wednesday 08:15 09:45 MI-08-1 Hübotter, Jonas
Wednesday 10:15 11:45 MI-10-1 Kappelmann, Kevin
Wednesday 10:15 11:45 MI-10-2 Bachmann, Paul
Wednesday 10:15 11:45 MI-10-3 Gottfriedsen, Jakob
Wednesday 12:00 13:30 MI-12-2 Polzin, Justus
Wednesday 14:00 16:00 MI-14-1 Nickel, Kira
Wednesday 14:00 16:00 MI-14-2-E Ghorbel, Bilel
Wednesday 14:15 15:45 MI-14-3 Gavryushin, Alexey
Wednesday 16:15 17:45 MI-16-1 Stieger, Simon
Wednesday 16:15 17:45 MI-16-2 Bott, Benjamin
Wednesday 16:15 17:45 MI-16-3 Polzin, Justus
Thursday 08:30 10:00 DO-8-1 Bachmann, Paul
Thursday 10:15 11:45 DO-10-1 Stieger, Simon
Thursday 10:00 12:00 DO-10-2 Hanssen, Simon
Thursday 10:15 11:45 DO-10-3 Gottfriedsen, Jakob
Thursday 12:15 13:45 DO-12-1 Haucke, Marco
Thursday 12:00 14:00 DO-12-2 Hanssen, Simon
Thursday 12:00 14:00 DO-12-3-E Ghorbel, Bilel
Thursday 14:00 16:00 DO-14-1-E Yi, He
Thursday 16:00 17:30 DO-16-1-E Yi, He
Thursday 16:00 18:00 DO-16-2-E Panfil, Alexandrina
Friday 10:15 11:45 FR-10-1 Bott, Benjamin
Friday 10:15 11:45 FR-10-2 Zamel, Leon