04-10-0572-vu Selected Topics in Logic and Complexity: Logics with Team Semantics

Lehrende: Prof. Dr. rer. nat. Martin Otto

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: Sel Top Logic & Comp

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Digitale Lehre:
Die Vorlesung findet in digitaler Form statt.

Lehrinhalte:
Lernziele (aus der Modulbeschreibung; siehe englische Version zum Inhalt):
Studierende lernen die grundlegenden Konzepte der Teamsemantik kennen und modelltheoretisch in den Kontext der klasssischen Tarski-Semantik einzuordnen. Im Vergleich mit der klassischen Semantik eroeffnet sich ein vertieftes Verstaendnis elementarer semantischer Modellierungen in der Logik, das am Beispiel dieses recht neuen Zugangs zu fundamentalen Phaenomenen wie Abhaengigkeiten zwischen
Variablenbelegungen trainiert wird. Die Studierenden gewinnen einen erweiterten Blick auf einen fuer diverse Anwendungsbereiche relevanten Bereich zwischen Logik erster und zweiter Stufe.

Literatur:
siehe englische Version

Voraussetzungen:
empfohlen: themenabhängig

Online-Angebote:
moodle