Verarbeitung, Präsentation und Diskussion von Themen der formalen Logik, die für aktuelle Forschung in der Informatik relevant sind. Dabei soll auch die eigenständige Erarbeitung und Präsentation formalwissenschaftlicher Resultate geübt werden.
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.
Organisational Meeting: March 19, 10am (sharp) Gödel room
ETCS Breakdown:3 ETCS = 75 Stunden
Vortrag, Handout, Diskussionsbeiträge
Vorkenntnisse aus mathematischer Logik werden erwartet.