Universität Wien FIND

Bedingt durch die COVID-19-Pandemie können kurzfristige Änderungen bei Lehrveranstaltungen und Prüfungen (z.B. Absage von Vor-Ort-Lehre und Umstellung auf Online-Prüfungen) erforderlich sein. Melden Sie sich für Lehrveranstaltungen/Prüfungen über u:space an, informieren Sie sich über den aktuellen Stand auf u:find und auf der Lernplattform moodle.

Weitere Informationen zum Lehrbetrieb vor Ort finden Sie unter https://studieren.univie.ac.at/info.

Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.

250118 VO Einführung in die Mathematische Logik (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

Sprache: Deutsch

Lehrende

Termine

Zur Zeit sind keine Termine bekannt.

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