401-3033-00L  Gödel's Theorems

SemesterAutumn Semester 2019
LecturersL. Halbeisen
Periodicitynon-recurring course
Language of instructionGerman



Courses

NumberTitleHoursLecturers
401-3033-00 VDie Gödel'schen Sätze3 hrs
Tue10-12HG D 5.2 »
Thu13-14ML F 38 »
L. Halbeisen
401-3033-00 UDie Gödel'schen Sätze1 hrs
Thu14-15ML F 38 »
L. Halbeisen

Catalogue data

AbstractDie Vorlesung besteht aus drei Teilen:
Teil I gibt eine Einführung in die Syntax und Semantik der Prädikatenlogik erster Stufe.
Teil II behandelt den Gödel'schen Vollständigkeitssatz
Teil III behandelt die Gödel'schen Unvollständigkeitssätze
ObjectiveDas Ziel dieser Vorlesung ist ein fundiertes Verständnis der Grundlagen der Mathematik zu vermitteln.
ContentSyntax und Semantik der Prädikatenlogik
Gödel'scher Vollständigkeitssatz
Gödel'sche Unvollständigkeitssätze
LiteratureErgänzende Literatur wird in der Vorlesung angegeben.

Performance assessment

Performance assessment information (valid until the course unit is held again)
Performance assessment as a semester course
ECTS credits8 credits
ExaminersL. Halbeisen
Typesession examination
Language of examinationGerman
RepetitionThe performance assessment is offered every session. Repetition possible without re-enrolling for the course unit.
Mode of examinationoral 20 minutes
This information can be updated until the beginning of the semester; information on the examination timetable is binding.

Learning materials

No public learning materials available.
Only public learning materials are listed.

Groups

No information on groups available.

Restrictions

There are no additional restrictions for the registration.

Offered in

ProgrammeSectionType
Mathematics BachelorSelection: Algebra, Number Thy, Topology, Discrete Mathematics, LogicWInformation
Mathematics MasterSelection: Algebra, Number Thy, Topology, Discrete Mathematics, LogicWInformation