250117 VO Recursion Theory (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
Language: German
Examination dates
- Monday 27.06.2011
- Friday 01.07.2011
- Monday 04.07.2011
- Tuesday 05.07.2011
- Friday 12.10.2012
- Wednesday 03.07.2013
Lecturers
Classes
Currently no class schedule is known.
Information
Aims, contents and method of the course
Die Vorlesung beginnt mit den Grundlagen der Rekursionstheorie. Weiterer Stoff nach Vereinbarung, voraussichtlich arithmetische Hierarchie, etwas Komplexitätstheorie und evt. analytische Hierarchie.
Assessment and permitted materials
Minimum requirements and assessment criteria
Examination topics
Reading list
Association in the course directory
MLOV
Last modified: We 19.08.2020 08:05