Universität Wien

250074 VO Introduction to mathematical logic (2017W)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik

Details

Sprache: Englisch

Prüfungstermine

Lehrende

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

Die Vorlesung findet im Hörsaal des Kurt Gödel Research Centers (Währinger Straße 25, 2.Stock, 02.101) statt. Am Montag den 2. Oktober 2017 um 12 Uhr findet dort eine Vorbesprechung statt, in der die Zeiten für Vorlesung und Übung gemeinsam festgelegt werden. Falls Sie Interesse an dieser Vorlesung haben, aber am Termin der Vorbesprechung verhindert sein sollten, bitte ich Sie mich rechtzeitig per E-Mail zu kontaktieren.

  • Mittwoch 04.10. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 06.10. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Mittwoch 11.10. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 13.10. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Mittwoch 18.10. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 20.10. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Mittwoch 25.10. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 27.10. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 03.11. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Mittwoch 08.11. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 10.11. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Mittwoch 15.11. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 17.11. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Mittwoch 22.11. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 24.11. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Mittwoch 29.11. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 01.12. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Mittwoch 06.12. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Mittwoch 13.12. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 15.12. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Mittwoch 10.01. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 12.01. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Mittwoch 17.01. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 19.01. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Mittwoch 24.01. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 26.01. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Mittwoch 31.01. 16:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

Diese Vorlesung ist eine Einführung in verschiedene Teilgebiete der
mathematischen Logik und deren Zusammenhänge. Wir beginnen mit einer
Wiederholung von Formeln und Strukturen und führen im Anschluss
Ultrapotenzkonstruktionen von Strukturen ein. Dies führt uns zu einer
genaueren Untersuchung des Gebietes der Modelltheorie. In diesem
Rahmen betrachten wir insbesondere Typen und Eigenschaften von
abzählbaren Modellen. Zudem werden wir Spiele betrachen, welche in der
Modelltheorie benutzt werden und auch mit der Mengenlehre verwandt
sind. Danach werden wir uns der Berechenbarkeitstheorie zuwenden und
grundlegende Begriffe diskutieren, welche uns ermöglichen werden den
ersten Gödelschen Unvollständigkeitssatz in allgemeiner Form zu
beweisen. Abschließend werden wir den zweiten Gödelschen
Unvollständigkeitssatz diskutieren.

Diese Vorlesung benötigt keine Vorkenntnisse. Dennoch können
Kenntnisse wie sie zum Beispiel im Rahmen der Vorlesung "Grundzüge
der mathematischen Logik" (siehe http://boolesrings.org/sandrauhlenbrock/teaching/grundzuege-2017/ oder auch http://www.logic.univie.ac.at/~muellem3/teaching.html für
die vorherigen Semester) erworben werden nützlich sein.

Nähere Information: http://boolesrings.org/sandrauhlenbrock/teaching/introduction-to-mathematical-logic-wise-2017/

Art der Leistungskontrolle und erlaubte Hilfsmittel

Die Prüfungsleistung wird durch Bestehen einer mündlichen Prüfung erbracht. Terminvereinbarung nach Absprache.

Mindestanforderungen und Beurteilungsmaßstab

Siehe oben. Um an der mündlichen Prüfung teilzunehmen, ist eine Eintragung in die Teilnehmerliste zur Vorlesung in den ersten zwei Semesterwochen nötig.

Prüfungsstoff

Vorlesungsinhalte

Literatur

siehe Webseite

Zuordnung im Vorlesungsverzeichnis

MLOL

Letzte Änderung: Fr 18.11.2022 00:23