Kurs:Einführung in die mathematische Logik (Osnabrück 2016)/Information/Inhalt

Dieser Kurs ist eine Einführung in die mathematische Logik mit der Zielsetzung, sowohl den Gödelschen Vollständigkeitssatz als auch die Gödelschen Unvollständigkeitssätze zu beweisen. Behandelt werden formale Sprachen, Aussagenlogik, Prädikatenlogik, ihre Semantik und ihre Ableitungskalküle, Tautologien, Isomorphie und elementare Äquivalenz, Nichtstandardmodelle, Registermaschinen und das Halteproblem, Berechenbarkeit und Entscheidungsfragen, Modallogik.