Module Number

INF3659
Module Title

Mathematical Logic (Proseminar)
Type of Module

Elective Compulsory
ECTS 3
Work load
- Contact time
- Self study
Workload:
90 h
Class time:
30 h / 2 SWS
Self study:
60 h
Duration 1 Semester
Frequency In the winter semester
Language of instruction German
Type of Exam

Presentation and essay

Lecture type(s) Proseminar
Content

Elementary topics from mathematical logic, which can only be touched upon in the module "Lecture Mathematical Logic'', will be deepened by presentations of the students.

Objectives

In addition to the competence in the content of mathematical logic (see module description "Mathematical Logic'' ("Mathematische Logik")), students learn to work out an elementary topic of mathematical logic independently, to communicate it to others through a presentation and to set it down in writing in a formally precise manner.

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
Literature

Literatur und Lernmaterialien werden jeweils im Netz bereitgestellt

Last offered unknown
Planned for currently not planned
Assigned Study Areas INFM1510, MEINFM1510