Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.
250112 VO Grundbegriffe der Mathematischen Logik (2011S)
Labels
Mittwoch 13:00-14:30, Hörsaal 1 (UZA2).
Aktuelle Informationen unter http://www.logic.univie.ac.at/~adler/
Aktuelle Informationen unter http://www.logic.univie.ac.at/~adler/
Details
Sprache: Deutsch
Prüfungstermine
- Mittwoch 22.06.2011
- Montag 04.07.2011
- Montag 19.09.2011
- Freitag 30.09.2011
- Donnerstag 15.12.2011
- Freitag 16.03.2012
Lehrende
Termine
Zur Zeit sind keine Termine bekannt.
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
Die Vorlesung orientiert sich grundsätzlich am Lehrbuch "Mathematische Logik" von Martin Ziegler, allerdings gekürzt auf die Teile Rekursionstheorie und Prädikatenlogik, und teilweise mit anderen Schwerpunkten und weiteren Änderungen. Es wird ein Skript geben.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Mindestanforderungen und Beurteilungsmaßstab
Prüfungsstoff
Literatur
Zuordnung im Vorlesungsverzeichnis
MLO
Letzte Änderung: Mi 19.08.2020 08:05