Ausgewählte Kapitel der Logik: Lokalität

Modulnummer: Q06-06
Englischer Titel: Selected topics in logic: locality
Leistungspunkte: 6
Lehrperson: Schweikardt

Empfohlene Vorkenntnisse

solide Grundkenntnisse im Bereich der Logik

Zwingende Voraussetzungen

keine

Inhalt

Die mathematische Logik beschäftigt sich mit den grundlegenden Eigenschaften von formalen Systemen und Sprachen, insbesondere der Ausdrucksstärke von formalen Sprachen und Beweissystemen sowie den Möglichkeiten und Grenzen des automatischen Schließens.
In dieser Vorlesung werden ausgewählte Kapitel der mathematischen Logik und deren Anwendungen in der Informatik im Kontext von Lokalitätsresultaten behandelt. Themen der Vorlesung sind u.a. die Sätze von Gaifman und Hanf und die Anwendung von Lokalitätsresultaten zum Nachweis von Nicht-Ausdrückbarkeitsresultaten und zum Beweis von algorithmischen Meta-Theoremen.
Die Vorlesung richtet sich an fortgeschrittene Studierende in einem Masterstudiengang, die sich im Bereich der Logik spezialisieren wollen. Voraussetzung für die Teilnahme an der Veranstaltung sind Kenntnisse, die in der Vorlesung "Logik in der Informatik" vermittelt werden.

Erforderliche Arbeitsleistungen für LP-Vergabe und Prüfungszulassung

- erfolgreiche Teilnahme an schriftlichen Tests
- aktive Teilnahme

Lehrveranstaltungen

Vorlesung: 4 SWS
Übung: 0 SWS

Zugeordneter Vertiefungsschwerpunkt

Algorithmen und Modelle: ja
Modellbasierte Systementwicklung: nein
Daten- und Wissensmanagement: nein
Ohne Vertiefungsschwerpunkt: nein

Sprache im Modul

Deutsch: ja
Englisch: ja

Angeboten für Studiengänge

M. Sc.: ja
M. Ed.: ja
Wirtschaftsmaster: ja

Angeboten im

Wintersemester: nein
Sommersemester: ja

Turnus

Unregelmäßig