250118 VO Einführung in die Mathematische Logik (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
Ziele, Inhalte und Methode der Lehrveranstaltung
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.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Mindestanforderungen und Beurteilungsmaßstab
Prüfungsstoff
Literatur
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.
Zuordnung im Vorlesungsverzeichnis
MLOL
Letzte Änderung: Fr 31.08.2018 08:54