After successful completion of the course, students are able to

• to name relevant aspects of logical formalisms,
• to describe the current research for a chosen topic from the area of logic, and
• to find relevant literature for a topic from research about logic.

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.

Different publications (will be announced during the seminar).

Elementary knowledge in logic.