Module 39-Inf-FL_a Formal Logic
Semester selection: WiSe 2025/2026 SoSe 2025 Previous...
Formale Logik (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] |
|
Formale Logik (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 / 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 from WiSe 25/26 onwards): Major Subject (Academic) // Modelling
- Informatics / Bachelor (Enrollment from WiSe 25/26 onwards): Minor Subject (Academic), 60 CPs
- Informatics / Bachelor of Science (Enrollment until SoSe 2025): Major Subject (Academic) // Modelling
- Informatics / Bachelor (Enrollment until SoSe 2025): Minor Subject (Academic), 60 CPs // Practical Informatics
- Informatics / Bachelor (Enrollment until SoSe 2025): Minor Subject (Academic), 60 CPs // Technical Informatics
- 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
- Intelligent Systems / Master of Science (Enrollment until SoSe 2023)
- Informatics for the Natural Sciences / Master of Science (Enrollment until SoSe 2025)