Module Number

INF3481
Module Title

Mathematical Logic
Type of Module

Elective Compulsory
ECTS 6
Work load
- Contact time
- Self study
Workload:
180 h
Class time:
60 h / 4 SWS
Self study:
120 h
Duration 1 Semester
Frequency In the winter semester
Language of instruction German
Type of Exam

Written Test

Lecture type(s) Lecture, Tutorial
Content

Fundamentals of propositional logic and first-level predicate logic. This includes, in particular, logical deduction systems and semantics of predicate logic languages as well as, as a central theorem, the completeness theorem and its applications.

Objectives

Students will be able to work independently with term structures and apply logic as a language for modeling and specifying problems. The design, implementation and application of logic concepts of various kinds will be practiced. Students will also become familiar with the limits of expression of formal concepts. At the same time, this strengthens the ability to deal fundamentally and critically with the scope and application possibilities of formal tools.

Allocation of credits / grading
Type of Class
Status
SWS
Credits
Type of Exam
Exam duration
Evaluation
Calculation
of Module (%)
Prerequisite for participation There are no specific prerequisites.
Lecturer / Other Piecha
Literature

D. van Dalen, Logic and Structure, Springer-Verlag, 2008. P. Schroeder-Heister, Skriptum Mathematische Logik (siehe Homepage des Veranstalters)

Last offered unknown
Planned for currently not planned
Assigned Study Areas BIOINFM2510, INFM2510, INFM3410, MDZINFM2510, MEINFM3210