Workload:
180 h
|
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 | |