Warning! The directory is not yet complete and will be amended until the beginning of the term.
250130 VO Basic concepts of mathematical logic (2010S)
Labels
Details
Language: German
Examination dates
Lecturers
Classes
Currently no class schedule is known.
Information
Aims, contents and method of the course
Berechenbarkeit, Prädikatenlogik, Vollständigtkeitssatz, Mengenlehre
Assessment and permitted materials
schriftliche Prüfung (hauptsächlich multiple choice)
Minimum requirements and assessment criteria
Erwerb von Grundkenntnissen aus mathematischer Logik.
Examination topics
Methoden: Vorlesung
Reading list
Association in the course directory
MLO
Last modified: We 19.08.2020 08:05