Formale Systeme II: Theorie

Vorlesung im Sommersemester 2024

Prof. Dr. Bernhard Beckert, Dr. Mattias Ulbrich, Dr. Romain Pascual


Zielgruppe: Master Informatik
Umfang: 3 SWS / 5 Leistungspunkte,
optional 5 Leistungspunkte (Forschungspraktikum, s.u.)
Vertiefungsfächer: Theoretische Grundlagen
Ort: SR 236 (Geb. 50.34)
Zeit: Dienstag, 11:30 - 13:00 Uhr
Freitag, 11:30 - 13:00 Uhr
Veranstaltungs-Nr.: 24608
ILIAS-Kurs:

Bitte beachten Sie auch das Angebot, das vorlesungsbegleitende Forschungspraktikum (siehe unten) zu belegen.

A few sessions of this lecture series will be given in English (s. below).
The language of other sessions is up to discussion. Most of the slides are in English.

Medien

Teile dieser Vorlesung sind als Video-Playlist bei Youtube verfügbar.

Skript

Das Skript von Prof. Peter H. Schmitt deckt viel des Stoffes dieser Vorlesung ab: Skript

Ergänzende Literatur

Dynamische Logik:

  • D. Harel, D. Kozen, J. Tiury: Dynamic Logic (Foundations of Computing)
    MIT Press, 2000
    In der Fakultätsbibliothek vorhanden
  • Daniel Kroening, Ofer Strichman: Decision Procedures
    Springer, 2016, 2nd edition
    Online im KIT-Netz verfügbar

Sozialwahltheorie:

  • F. Brandt, V. Conitzer, U. Endriss, J. Lang, A. Procaccia (eds.): Handbook of Computational Social Choice
    Cambridge University Press, 2016
    Download von Cambridge University Press

Inhaltsübersicht

Geplant sind die folgenden Inhalte der Vorlesung:

  • Grundlagen der modalen/dynamischen Logik
    • Propositional Dynamic Logic (PDL)
    • Vollständigkeit der PDL
    • Relative Vollständigkeit der DL erster Stufe
    • Separation Logic
  • Gödels (1.) Unvollständigkeitssatz
  • Axiomatische Mengenlehre und Ordinalzahlen
  • Foundations of Category Theory (english!)
  • Algebraic and Co-Algebraic Data Types (english!)
  • Mehrwertige Logik
  • Logik in der Sozialwahltheorie
  • Beschreibungslogiken

Termine

Die Vorlesung ist dreistündig, also wird an einigen Terminen im Verlauf des Semesters keine Veranstaltung stattfinden. Näheres wird hier (oder ggf. im ILIAS-Kurs) bekannt gegeben.

An folgenden Terminen findet keine Vorlesung statt:

  • ... Die Liste wird im Lauf des Semesters noch ergänzt werden.

Vorlesungsbegleitendes Forschungspraktikum

Wir bieten neben der Vorlesung ein optionales begleitendes Forschungspraktikum im Umfang von insgesamt 5 LP (davon 2 SQ) an. Hierbei handelt es sich um ein Projektpraktikum, in dem über das ganze Semester an einem Thema gearbeitet wird (und nicht an verschiedenen Aufgabenblättern). Zu Beginn der Vorlesung werden Themen vorgestellt, für die sich die Teilnehmenden bewerben können. Das Forschungspraktikum basiert thematisch auf in der gekoppelten Vorlesung vermittelten Inhalten. Die praktische Forschungsaktivität ist Teil einer (größeren) Forschungsaktivität des Lehrstuhls und trägt zu deren Erfolg bei.

Beispiele für solche Forschungsaktivitäten sind etwa die Entwicklung eines Prototypen oder die Durchführung einer Evaluation (u.ä.). Am Ende des Semesters werden die Ergebnisse des Forschungspraktikums auf drei bis fünf Seiten dokumentiert, sowie im Rahmen eines Kolloquiums in etwa 15 Minuten präsentiert und in einer anschließenden Fragerunde diskutiert.

Weitere Informationen zum Thema Forschungspraktikum ...