Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.
250117 VO Rekursionstheorie (2011S)
Labels
Donnerstag 9:00-10:30, Seminarraum des KGRC, Währinger Straße 25. Erster Termin 3. März. Aktuelle Informationen: http://www.logic.univie.ac.at/~adler/
Details
Sprache: Deutsch
Prüfungstermine
- Montag 27.06.2011
- Freitag 01.07.2011
- Montag 04.07.2011
- Dienstag 05.07.2011
- Freitag 12.10.2012
- Mittwoch 03.07.2013
Lehrende
Termine
Zur Zeit sind keine Termine bekannt.
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
Die Vorlesung beginnt mit den Grundlagen der Rekursionstheorie. Weiterer Stoff nach Vereinbarung, voraussichtlich arithmetische Hierarchie, etwas Komplexitätstheorie und evt. analytische Hierarchie.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Mindestanforderungen und Beurteilungsmaßstab
Prüfungsstoff
Literatur
Zuordnung im Vorlesungsverzeichnis
MLOV
Letzte Änderung: Mi 19.08.2020 08:05