Vorlesung (4 SWS, Nr. 5502217)
WiSe 25/26, 13.10.2025 - 30.01.2026
Beschreibung
Logikformalismen erlauben die präzise Repräsentation von Wissen und korrektes logisches Schließen basierend auf diesen Informationen. Expressive Logiken sind formale Systeme deren Ausdrucksstärke über klassische mathematische Logik hinaus gehen oder diese ergänzen. Beispiele sind Logiken höherer stufe (higher-order logic), Modallogiken (modal logics), und nicht-monotone Logiken (non-monotonic logics). Solche Logiken findet in vielen Gebieten der Wissenschaft Anwendung und sind z.B. in der Mathematik und Informatik relevant. In dieser Veranstaltung werden wir einige expressive Logiksysteme studieren und anwenden.
Details
Weitere Details zur Veranstaltung im HIS (unter "Inhalt").
- Dozent/in: Alexander Steen