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