250074 VO Introduction to mathematical logic (2017W)
Labels
Details
Sprache: Englisch
Prüfungstermine
Freitag
19.01.2018
Montag
22.01.2018
Freitag
09.02.2018
Mittwoch
14.02.2018
Donnerstag
17.05.2018
Donnerstag
24.05.2018
Donnerstag
14.06.2018
Freitag
16.11.2018
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
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
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/