Technische Universit├Ąt Ilmenau

Mathematical Logic - Modultafeln of TU Ilmenau

The Modultafeln have a pure informational character. The legally binding information can be found in the corresponding Studienplan and Modulhandbuch, which are served on the pages of the course offers. Please also pay attention to this legal advice (german only). Information on place and time of the actual lectures is served in the Vorlesungsverzeichnis.

subject properties subject number 101050 - common information
subject number101050
ID of group2418 (Group for Fundamentals of Mathematics)
subject leaderProf. Dr. Jochen Harant
term Sommersemester
previous knowledge and experience

Grundlagen der Aussagenlogik

learning outcome

Spezielle Kapitel der mathematischen Logik


spezielle Gebiete der mathematischen Logik

media of instruction


literature / references

Standardwerke Logik

evaluation of teaching
Details in major Bachelor Mathematik 2013, Master Mathematik und Wirtschaftsmathematik 2013 (AM), Master Mathematik und Wirtschaftsmathematik 2013 (WM)
subject nameMathematical Logic
examination number2400577
credit points4
on-campus program (h)34
self-study (h)86
Obligationobligatory elective
examoral examination performance, 30 minutes
details of the certificate

werden bei Bedarf festgelegt

maximum number of participants