Ausgewählte Kapitel der Logik: Lokalität (mit Übungen)

Modulnummer: Q10-38
Englischer Titel: Selected topics in logic: locality (with exercises)
Leistungspunkte: 10
Lehrperson: Schweikardt

Empfohlene Vorkenntnisse

solide Grundkenntnisse im Bereich der Logik

Zwingende Voraussetzungen

Es kann nur entweder dieses Modul oder das Modul Q06-06 (Ausgewählte Kapitel der Logik: Lokalität) eingebracht werden.

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 diesem Modul werden ausgewählte Kapitel der mathematischen Logik
und deren Anwendungen in der Informatik im Kontext von
Lokalitätsresultaten behandelt. Themen des Moduls 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.
Das Modul 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

- schriftlich eingereichte und/oder mündlich vorgetragene Lösungen zu Aufgaben
- aktive Teilnahme

Lehrveranstaltungen

Vorlesung: 4 SWS 6 LP
Übung: 2 SWS 3 LP
MAP: 1 LP

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: nein

Turnus

Unregelmäßig