250118 VO Introduction to Mathematical Logic (2009W)
Labels
Zeit nach Absprache mit den Teilnehmern, evt. Montag und Mittwoch 11:00-12:30. Falls Sie einen Besuch der Vorlesung erwägen, teilen Sie es mir bitte mit, falls Ihnen die angegebene Zeit nicht passt. Falls Ihnen die Zeit passt, melden Sie sich am besten ebenfalls per Email an hans.adler(at)univie.ac.at, damit ich Sie bei allfälligen Änderungswünschen von anderer Seite konsultieren kann. Die Vorlesung beginnt in der ersten Vorlesungswoche.
Details
Information
Aims, contents and method of the course
Der behandelte Stoff steht noch nicht zu 100% fest, aber im Zentrum stehen auf jeden Fall die Grundlagen der Logik 1. Stufe und als Höhepunkt der Gödelsche Unvollständigkeitssatz. Vorkenntnisse aus der Vorlesung Grundbegriffe der Mathematischen Logik werden gar nicht erwartet, sind aber evt. nützlich, da der Erstkontakt mit der Logik manchmal mit grundlegenden Verständnisproblemen verbunden ist.
Assessment and permitted materials
Minimum requirements and assessment criteria
Examination topics
Reading list
Z.B. Rautenberg: Einführung in die Mathematische Logik; Ebbinghaus, Flum und Thomas: Ebbinghaus, Flum und Thomas: Einführung in die Mathematische Logik; Enderton: A Mathematical Introduction to Logic.
Association in the course directory
MLOL
Last modified: Fr 31.08.2018 08:54