After successful completion of the course, students are able to

• to name relevant aspects of theoretical computer science,
• to describe the current research for a chosen topic from the area of theoretical computer science, and
• to find relevant literature for a topic from research about theoretical computer science

..

Topics in this semester:

• See the slides in "Kommunikation"/"Communication".
• Alternatively: here.

The students have to

• perform a literature research for a selected topic,
• prepare a presentation draft about the chosen topic, and
• give a presentation of 50min.

Blocked course. More information to the current topics and the schedule will be given during the topic assignment (date see below).

The course is planned in presence mode but may change into an online format if the COVID situation necessitates it.

The assessment takes into account

• the literature reseach,
• the presentation draft, and
• the presentation.

Ort: TISS Gruppe und Themenausgabe

Elementary knowledge in logic.