Logik Einführung

Vorlesung des Moduls MA Ba-ALGSTR "Algebraische Strukturen: Diskrete Strukturen", Sommersemester 2023. Untertitel: Einführung in die mathematische Logik

Neuigkeiten

WICHTIG: bitte senden Sie mir eine Email, wenn Sie interesse haben, am Kurs teilzunehmen. Auf diese Weise kann ich Sie frühzeitig erreichen und auf dem Laufenden halten.
Bitte registrieren Sie sich ebenfalls auf Opal.

Sprache

Falls gewünscht findet der Kurs auf englisch statt. Das Skript und ergänzende Videos sind in jedem Fall auf Englisch.

Themen

Aussagenlogik, Logik
Strukturen
Logik erster Stufe
Axiomatische Mengenlehre nach Zermelo Fraenkel
Der Vollständigkeitssatz
Der Kompatkheitssatz
Berechenbarkeit, primitiv rekursive und rekursive Funktionen
Unvollständigkeitssätze

Zielgruppen

Bachelor-Studiengang Mathematik; Diplomstudiengang Informatik (Vertiefung im Nebenfach)

Vorkenntnisse

Kompetenzen aus den Modulen Math-Ba-ANAG, Math-Ba-LAAG, und Math-Ba-PROG. Für die Informatikstudent:innen: Besuch der Mathematik Pflichtvorlesungen für Informatik im Grundstudium.

Vorlesungszeiten

Montag	2. DS	C129
Dienstag	4. DS	C129

Literatur

Die Vorlesung folgt keinem Lehrbuch, sondern dem Skript. Für weiterführendes Material empfehle ich folgendes Lehrbuch.

M. Hils and F. Loeser. A first Journey through Logic, volume 89 of Student Mathematical Library. American Mathematical Society, Providence, RI, September 2019.

Skript

Grundlage für die Themenauswahl ist das (englische) Skript.