Logik Einführung

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

© mb

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

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.