Universität Wien

250135 PS Introduction to Mathematical Logic (2024W)

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

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 02.10. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 09.10. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 16.10. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 23.10. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 30.10. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 06.11. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 13.11. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 20.11. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 27.11. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 04.12. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 11.12. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 08.01. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 15.01. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 22.01. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 29.01. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

This discussion section accompanies the lecture 250097 VO Introduction to Mathematical logic. We will practice applying the theory covered in the lecture and also discuss some complementary material.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Your grade will be based on participation and regular homework assignments.

Mindestanforderungen und Beurteilungsmaßstab

Prüfungsstoff

Literatur

"A first journey through logic" by M. Hils and F. Loeser (https://webusers.imj-prg.fr/~francois.loeser/stml089.pdf)
"Mathematical Logic Lecture Notes" by Lou van den Dries (https://www.mat.univie.ac.at/~panagiotopoulos/2019.pdf)

Zuordnung im Vorlesungsverzeichnis

MLOL

Letzte Änderung: Di 01.10.2024 14:26