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.

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 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

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

Ort: TISS Gruppe und Themenausgabe

Elementary knowledge in logic.