News
Tutorials and Project Phase 1
Written on 28.04.2026 15:43 by Sarah Sterz
Hello everyone,
Project Phase 1 has now been corrected.
Also, tutorials have been scheduled. They usually take place on Tuesdays (10:15–11:45) and Thursdays (14:15–15:45). Participation is voluntary and not graded, but registration is required each week if you want to participate. There is no permanent enrolment: you need to sign up again every week if you wish to attend. You may also change your time slot from week to week or decide to attend only in selected weeks. Registration is possible for one tutorial per week via your personal status page and must be completed no later than one day before the session.
If you register but cannot attend, please make sure to cancel your registration in time so that your place becomes available to others. If the unregistration period has passed, contact Sarah by email. Absence without prior cancellation may result in exclusion from tutorials in the following week.
Further information can be found here.
The topic of each tutorial is announced in the lecture and published in the timetable (click on the respective date). It is typically updated a few days in advance. The tutorials next week will offer a short introduction to propositional logic. If you have attended the Vorkurs or Mathematics for Computer Scientists at Saarland University, attendance is generally not recommended. Quick self-check: If you can determine whether a formula such as “((p∨q)∧¬p)→q” is a tautology, you do not need to attend. If you have already registered even though you already know propositional logics and do not wish to participate, please unregister again to free your spot for others.
Best wishes,
Sarah