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.

250098 PS Introductory seminar on mathematical logic (2021W)

3.00 ECTS (2.00 SWS), SPL 25 - Mathematik
Prüfungsimmanente Lehrveranstaltung
GEMISCHT

An/Abmeldung

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

Details

max. 25 Teilnehmer*innen
Sprache: Englisch

Lehrende

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

Mittwoch 06.10. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
Mittwoch 13.10. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
Mittwoch 20.10. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
Mittwoch 27.10. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
Mittwoch 03.11. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
Mittwoch 10.11. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
Mittwoch 17.11. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
Mittwoch 24.11. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
Mittwoch 01.12. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
Mittwoch 15.12. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
Mittwoch 12.01. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
Mittwoch 19.01. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

This is the discussion section which complements the lecture portion of the introduction to mathematical logic course. We will be discussing weekly problem sets which relate to, expand upon, and reinforce the content of the lecture. Students are strongly encouraged to sign up for the accompanying lecture course.

Art der Leistungskontrolle und erlaubte Hilfsmittel

You will have to indicate each week which problems you completed. Also you will have to present your solution to the class at least twice in the semester.

Mindestanforderungen und Beurteilungsmaßstab

The grade is based primarily on active participation in the discussion section. Also taken into account: quality of presentation and number of problems completed.

Prüfungsstoff

The types of problems discussed in this course will be relevant for the exam in the lecture portion of the course.

Literatur

We will roughly be following A. Tserunyann'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: Mi 29.09.2021 14:09