250112 VO Basic concepts of mathematical logic (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
Language: German
Examination dates
- Wednesday 22.06.2011
- Monday 04.07.2011
- Monday 19.09.2011
- Friday 30.09.2011
- Thursday 15.12.2011
- Friday 16.03.2012
Lecturers
Classes
Currently no class schedule is known.
Information
Aims, contents and method of the course
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.
Assessment and permitted materials
Minimum requirements and assessment criteria
Examination topics
Reading list
Association in the course directory
MLO
Last modified: We 19.08.2020 08:05