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