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.

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.

Blocklehrveranstaltung. Nähere Informationen zu den aktuellen Themen und den Terminen werden in der allgemeinen Vorbesprechung der Abteilung besprochen (Termin siehe 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.

Different publications (will be announced during the seminar).

Elementary knowledge in logic.