Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage ein wissenschaftliches Ergebnis im Schnittfeld von Logik und Informatik von Interesse zu studieren, zu verstehen, zu erklären und  durch geeignete Folien und Handouts unterstützt zu präsentieren. Außerdem können sie systematisch nach verwandter Literatur suchen.

Die Seminar-Themen werden in Verbindung zu aktueller Forschung der beiden Lehrveranstaltungsleiter stehen. Konkret werden die Teilnehmer die Wahl zwischen zwei Themenbereichen haben: Beweistheorie und logische Dynamik von Agenten.

various intividual meetings with the chosen lecturer

Organisational Meeting:  Friday, March 24, 2023, 11am

Seminar room Gödel

ETCS Breakdown:3 ETCS = 75 Stunden

• 12 Stunden: Seminartreffen (Vorträge und Diskussionen)
• 30 Stunden: Presentation (samt Vorbereitung, Handout etc.)
• 33 Stunden: Studium relevanter wissenschaftlicher Arbeiten

A talk and handouts

Vorkenntnisse aus mathematischer Logik werden erwartet.