Technische Universität Ilmenau

Predicate 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 7556 - common information
subject number7556
departmentDepartment of Mathematics and Natural Sciences
ID of group2418 (Group for Fundamentals of Mathematics)
subject leaderProf. Dr. Jochen Harant
term Wintersemester
previous knowledge and experienceGrundlagen der Aussagenlogik
learning outcomeMathematisches Beweisen mit Hilfe eines Computers, Unabhängigkeit von Axiomensystemen
contentFormelwelt der Prädikatenlogik, Herbrand-Theorie, Resolution
media of instructionTafel, Folien
literature / referencesB. Mates: Elementare Logik - Prädikatenlogik der ersten Stufe. Vandenhoeck & Ruprecht, Göttingen 1997.
evaluation of teaching


Freiwillige Evaluation:


Details in major Master Mathematik und Wirtschaftsmathematik 2008
subject namePredicate Logic
examination number2400197
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