Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.
250128 VO Rekursionstheorie (2009S)
Labels
Dienstag 15:15-16:45, Seminarraum des KRC (Währinger Strasse 25)Eine Vorlesung für fortgeschrittene Studierende der Mathematischen Logik.Vorausgesetzt werden Kenntnisse der elementaren Logik und Theorie der Berechenbarkeit sowie der Mengenlehre (inklusive L und forcing).Siehe http://www.logic.univie.ac.at/~kellner/teaching/2009SS_recursion/
Details
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
Art der Leistungskontrolle und erlaubte Hilfsmittel
Mindestanforderungen und Beurteilungsmaßstab
Prüfungsstoff
Literatur
Zuordnung im Vorlesungsverzeichnis
MLOV
Letzte Änderung: Fr 31.08.2018 08:54