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

250092 VO Modelltheorie (2016S)

3.00 ECTS (2.00 SWS), SPL 25 - Mathematik

http://www.logic.univie.ac.at/~muellem3/teaching.html

Details

Sprache: Englisch

Prüfungstermine

Lehrende

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

http://www.logic.univie.ac.at/~muellem3/teaching.html

  • Dienstag 01.03. 17:30 - 19:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 08.03. 17:30 - 19:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 15.03. 17:30 - 19:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 05.04. 17:30 - 19:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 12.04. 17:30 - 19:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 19.04. 17:30 - 19:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 26.04. 17:30 - 19:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 03.05. 17:30 - 19:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 10.05. 17:30 - 19:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 24.05. 17:30 - 19:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 31.05. 17:30 - 19:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 07.06. 17:30 - 19:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 14.06. 17:30 - 19:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 21.06. 17:30 - 19:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 28.06. 17:30 - 19:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

Art der Leistungskontrolle und erlaubte Hilfsmittel

Oral examinations by appointment in the end of the semester or in the beginning of the winter semester 2016.

Mindestanforderungen und Beurteilungsmaßstab

Prüfungsstoff

Literatur

K. Tent and M. Ziegler, A course in model theory, Lecture Notes in Logic, Cambridge University Press, ASL 2012.

Zuordnung im Vorlesungsverzeichnis

MLOV

Letzte Änderung: Fr 18.11.2022 00:23