Universität Wien FIND

Auf Grund der COVID-19 Pandemie kann es bei Lehrveranstaltungen und Prüfungen auch kurzfristig zu Änderungen kommen. Informieren Sie sich laufend in u:find und checken Sie regelmäßig Ihre E-Mails.

Lesen Sie bitte die Informationen auf https://studieren.univie.ac.at/info.

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

250095 VO Introduction to mathematical logic (2021W)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik
VOR-ORT

An/Abmeldung

Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").

Details

Sprache: Englisch

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

Dienstag 05.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag 07.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Dienstag 12.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag 14.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Dienstag 19.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag 21.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag 28.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag 04.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Dienstag 09.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag 11.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Dienstag 16.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag 18.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Dienstag 23.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag 25.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Dienstag 30.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag 02.12. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Dienstag 07.12. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag 09.12. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Dienstag 14.12. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag 16.12. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Dienstag 11.01. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag 13.01. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Dienstag 18.01. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag 20.01. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Dienstag 25.01. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

The class is an introduction to mathematical logic, leading all the way to Gödel's incompleteness theorems. Students are strongly encouraged to sign up for the accompanying discussion session in which the weekly problem sets will be discussed.

Art der Leistungskontrolle und erlaubte Hilfsmittel

There will be a written exam during the last week of classes. The material covered on the exam is the same as the material covered in the lecture. This includes applications of the material to solving problems similar to the ones from the problem sets.

Mindestanforderungen und Beurteilungsmaßstab

A minimum of 50% on the written exam is required to pass the class.

Prüfungsstoff

All the material covered in the lecture, including its application to solving problems.

Literatur

We will roughly be following A. Tserunyan's lecture notes:
https://www.math.mcgill.ca/atserunyan/Teaching_notes/logic_lectures.pdf
More references will be provided during the course of the semester.

Zuordnung im Vorlesungsverzeichnis

MLOL

Letzte Änderung: Mo 04.10.2021 11:11