Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.
250088 VO Modelltheorie (2014S)
Labels
Ort: Seminarraum des Gödel Research Centers, Währinger Straße 25, 1090 Wien, 2. Stock, Zimmer O2.101Beginn: 04. März 2014
Di 15:45 - 17:15
Di 15:45 - 17:15
Details
Sprache: Deutsch
Prüfungstermine
Lehrende
Termine
Zur Zeit sind keine Termine bekannt.
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
Model theory is a branch of mathematical logic concerned with axiomatizations (theories) and their structures (models).This course is intended to give an introduction and overview to basic methods and results, mainly in the context of first order logic. Basic previous knowledge in mathematical logic (including Gödel's completeness theorem) would be helpful.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Mündliche Prüfungen gegen/nach Ende der Vorlesungszeit
Mindestanforderungen und Beurteilungsmaßstab
Prüfungsstoff
Literatur
Chang, Keisler "Model Theory" (North Holland),
David Marker "Model Theory: An Introduction" (Springer)Only parts of the books will be treated. Purchase is not required.
David Marker "Model Theory: An Introduction" (Springer)Only parts of the books will be treated. Purchase is not required.
Zuordnung im Vorlesungsverzeichnis
MLOV
Letzte Änderung: Mi 19.08.2020 08:05