Universität Wien FIND

Due to the COVID-19 pandemic, changes to courses and exams may be necessary at short notice. Inform yourself about the current status on u:find and check your e-mails regularly.

Please read the information on https://studieren.univie.ac.at/en/info.

Warning! The directory is not yet complete and will be amended until the beginning of the term.

250118 VO Introduction to Mathematical Logic (2009W)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik

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

Language: German

Lecturers

Classes

Currently no class schedule is known.

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