250104 VO Advanced topics in mathematical logic (2019S)
Labels
An/Abmeldung
Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
Details
Sprache: Englisch
Prüfungstermine
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Dienstag
05.03.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
06.03.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
13.03.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Dienstag
19.03.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
20.03.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Dienstag
26.03.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
27.03.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Dienstag
02.04.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
03.04.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Dienstag
09.04.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
10.04.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Dienstag
30.04.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Dienstag
07.05.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
08.05.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Dienstag
14.05.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
15.05.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Dienstag
21.05.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
22.05.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Dienstag
28.05.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
29.05.
13:00 - 14:00
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Dienstag
04.06.
13:15 - 14:00
Seminarraum 9 Oskar-Morgenstern-Platz 1 2.Stock
Mittwoch
05.06.
13:15 - 14:00
Seminarraum 9 Oskar-Morgenstern-Platz 1 2.Stock
Mittwoch
12.06.
13:15 - 14:00
Seminarraum 9 Oskar-Morgenstern-Platz 1 2.Stock
Dienstag
18.06.
13:15 - 14:00
Seminarraum 9 Oskar-Morgenstern-Platz 1 2.Stock
Mittwoch
19.06.
13:15 - 14:00
Seminarraum 9 Oskar-Morgenstern-Platz 1 2.Stock
Dienstag
25.06.
13:15 - 14:00
Seminarraum 9 Oskar-Morgenstern-Platz 1 2.Stock
Mittwoch
26.06.
13:15 - 14:00
Seminarraum 9 Oskar-Morgenstern-Platz 1 2.Stock
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
Art der Leistungskontrolle und erlaubte Hilfsmittel
The final mark is composed of three components: participation (50%), submitted assignments (30%) and a 'presentation in pairs' component (20%).Participation (50%): you are expected to attend the lectures and encouraged to actively participate in class discussion.Assignments (30%): at each lecture, a number of exercises and problems will be announced (approx. 5 per lecture). You select the questions you like and submit solutions typed in Latex; the problems announced at a given lecture can be submitted for 2 weeks. Each correct solution for the exercises amounts to 0.5%, each problem to 1% of the maximal 30% that can be earned.Presentation in pairs (20%): working in pairs, you will select a recent result/article closely related to the main topics of the course (plenty of recommendations will be provided). After understanding the material, you prepare a joint 30-minute presentation on the result. You should outline the context, main ideas and connections to the course material. Presentations will take place during the examination period.
Mindestanforderungen und Beurteilungsmaßstab
There are no official prerequisites; however, we will assume familiarity with basic concepts of set theory e.g., ordinals and cardinals; stationary and club sets; transfinite induction; what is a formula, satisfaction and a model of a theory; basic concepts in graph theory and Ramsey's theorem on the natural numbers. See Chapter I and II of [Kunen, Kenneth. Set theory an introduction to independence proofs. Vol. 102. Elsevier, 2014].The official passing grade will be 50% which can be earned with any combination of the above assessment components.
Prüfungsstoff
The 'Presentation in pairs' component will be counted as the final examination. Please see above for details.
Literatur
Assignments, course information and all related course materials will be posted on Moodle. In addition to office hours, you will have the chance to ask questions and discuss the topics on the Moodle forum.Please find the detailed syllabus here: http://www.logic.univie.ac.at/~soukupd73/teach.xhtml
Zuordnung im Vorlesungsverzeichnis
MLOV
Letzte Änderung: Fr 18.11.2022 00:23
The course is aimed at advanced bachelor and graduate students with an interest in combinatorial questions, set theory or logic.