Mathematik/Kurse/Logik
Erscheinungsbild
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 |