Module 39-Inf-FL Formal Logic
Semester selection: WiSe 2026/2027 SoSe 2026 WiSe 2025/2026 SoSe 2025 WiSe 2024/2025 SoSe 2024 WiSe 2023/2024 SoSe 2023 WiSe 2022/2023 SoSe 2022 WiSe 2021/2022 SoSe 2021 WiSe 2020/2021 SoSe 2020 WiSe 2019/2020 SoSe 2019 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 | Formal Logic Course taught in English | V | Tue 14-16 in T2-205 [07.10.2019-31.01.2020] |
|
Formal Logic (exercise)
| Reference no. | Teaching staff | Topic | Type | Dates | My eKVV |
|---|---|---|---|---|---|
| 392126 | Frettlöh | Formal Logic | Ü |
Tue 16-18 in E0-180 [07.10.2019-31.01.2020]
Wed 8-10 in U2-135 [07.10.2019-31.01.2020] |
|
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 until WiSe 25/26)
- 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)