Kurs:Einführung in die mathematische Logik (Osnabrück 2021) (Dozent: Holger Brenner)

Kurzbeschreibung:

Dies 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.

Zielgruppe

Student(inn)en der Mathematik, der Informatik und der Kognitionswissenschaft

Kurs:Einführung in die mathematische Logik (Osnabrück 2011-2012) (Dozent: Holger Brenner)

Kurzbeschreibung:

Dies ist eine zweistündige Einführung in die mathematische Logik mit der Zielsetzung, die Gödelschen Unvollständigkeitssätze zu beweisen.

Zielgruppe

Mathematik-Student(inn)en