After successful completion of the course, students are able to
..
Topics in this semester.
The students have to
Blocked course. More information to the current topics and the schedule will be given during the topic assignment (date see below or Homepage).
The course is held in presence form, with a possible switch to online. The preliminary meeting will be held in online form.
The assessment takes into account
Ort: TISS Gruppe und Themenausgabe
Elementary knowledge in logic.