Module 39-Inf-FL Formal Logic
Semester selection: WiSe 2025/2026 SoSe 2025 Previous...
Explanation regarding the elements of the module
Die Modul(teil)prüfung kann in einigen Studiengängen nach Wahl der Studierenden auch "unbenotet" erbracht werden. Vor Erbringung ist eine entsprechende Festlegung vorzunehmen, eine nachträgliche Änderung (benotet - unbenotet) ist ausgeschlossen. Wird diese Option gewählt, ist es nicht möglich, dieses Modul zu verwenden, um es in einen Studiengang einzubringen, in dem dieses Modul bei der Gesamtnotenberechnung berücksichtigt wird.
Formal Logic (lecture)
| Reference no. | Teaching staff | Topic | Type | Dates | My eKVV |
|---|---|---|---|---|---|
| 392125 | Frettlöh | Formale Logik Course taught in English | V |
Tue 14-16 in H5 [13.10.2025-06.02.2026]
Tue 14-16 in S0-209 [14.10.2025] |
|
Formal Logic (exercise)
| Reference no. | Teaching staff | Topic | Type | Dates | My eKVV |
|---|---|---|---|---|---|
| 392126 | Frettlöh |
Übungen: Formale Logik
Limited number of participants: 100 |
Ü | by appointment [13.10.2025-06.02.2026] |
|
| 392126 | Frettlöh, Tutorin: Lisa Henetmayr |
Übungen A Formale Logik
Limited number of participants: 30 |
Ü | Tue 16-18 in S1-501 [13.10.2025-06.02.2026] |
|
| 392126 | Frettlöh, Tutorin: Lisa Henetmayr |
Übungen B Formale Logik
Limited number of participants: 30 |
Ü | Wed 12-14 in S1-501 [13.10.2025-06.02.2026] |
|
Uses
- Bioinformatics and Genome Research / Bachelor of Science (Enrollment until WiSe 19/20): Bachelor with One Core Subject (Academic)
- Bioinformatics and Genome Research / Master of Science (Enrollment from WiSe 16/17 onwards)
- Fundamentals of Cognitive Systems / Bachelor (Enrollment until SoSe 2023): Minor Subject (Academic), 60 CPs
- Informatics / Bachelor of Science (Enrollment until SoSe 2023): Major Subject (Academic) // Technical Informatics
- Informatics / Bachelor (Enrollment until SoSe 2023): Minor Subject (Academic), 60 CPs // Practical Informatics
- Informatics / Bachelor (Enrollment until SoSe 2023): Minor Subject (Academic), 60 CPs // Technical Informatics
- Informatics / Bachelor (Enrollment until SoSe 2020): Minor Subject (Academic), 60 CPs // Practical Informatics
- Informatics / Bachelor (Enrollment until SoSe 2020): Minor Subject (Academic), 60 CPs // Technical Informatics
- Intelligent Systems / Master of Science (Enrollment until SoSe 2023)
- Cognitive Informatics / Bachelor of Science (Enrollment until WiSe 19/20): Bachelor with One Core Subject (Academic)
- Informatics for the Natural Sciences / Master of Science (Enrollment until SoSe 2025)