GenCS I

General Information

Instructor of Record

Prof. Michael Kohlhase

Teaching Assistants

Anton Antonov, Alexandra Zayets, Felix Mance, Ivaylo Enchev, Cotizo Sima, Mira Slacheva, Victor Savu.

Announcements

will be made on PantaRhei. In case of questions please contact Catalin David <c.david@jacobs-university.de>

Lecture Notes

We will try to have the new lecture notes accessible here. I have also generated a dependency graph of the course materials that you may find useful. I will try to keep these up to date as the course unfolds. If I forget, please e-mail Michael Kohlhase

Practice Problems

I will provide a collection of practice problems (in case the homeworks are not sufficient) with solutions. They come in two forms: only problems (so that you can try your luck and test your skills) and with solutions (to check up on yourself).

SML introduction

• Part 1
• Part 2

Tutorials

• The LaTeX Tutorial without solutions/with solutions
• The SML Tutorial without solutions/with solutions

Assignments

Please submit your solutions via Grader. You need to log in with your Jacobs account.
Homework is due one week after the publication of the assignments (at 23:59).
We have implemented the Planet GenCS for you, please use the forum to ask question, your TAs and teacher will answer them there.