< Mathematik < Kurse
|
Kurs:Einführung in die mathematische Logik (Osnabrück 2018) (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 |
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.