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: Thursday, March 14, 12:00
Seminar room Neumann
ETCS Breakdown:3 ETCS = 75 Stunden
A talk and handouts
Vorkenntnisse aus mathematischer Logik werden erwartet.