Module 39-Inf-FL_a Formal Logic
Semester selection: WiSe 2025/2026 SoSe 2025 WiSe 2024/2025 SoSe 2024 WiSe 2023/2024 SoSe 2023 Previous...
Formale Logik (lecture)
| Reference no. | Teaching staff | Topic | Type | Dates | My eKVV |
|---|---|---|---|---|---|
| 392125 | Frettlöh | Formale Logik Electronic course catalogue (eKVV) participant management | V | Tue 14-16 in H5 [09.10.2023-02.02.2024] |
|
| 392125 | Frettlöh |
Klausur: Formale Logik - 1. Termin
Registration via the electronic course catalogue (eKVV) by
2/5/24
|
Kl |
|
|
| 392125 | Frettlöh |
Klausur: Formale Logik - 2. Termin
Registration via the electronic course catalogue (eKVV) by
4/1/24
|
Kl | Wed 10-12 in H14 [03.04.2024] |
|
Formale Logik (exercise)
| Reference no. | Teaching staff | Topic | Type | Dates | My eKVV |
|---|---|---|---|---|---|
| 392126 | Frettlöh, Tutor: Can Ward |
Übungen A Formale Logik
Limited number of participants: 30 Electronic course catalogue (eKVV) participant management |
Ü |
Tue 16-18 in T2-204 [09.10.2023-02.02.2024]
Tue 16-18 in T2-204 [06.02.2024] |
|
| 392126 | Frettlöh, Tutorin: Hannah Heile | Übungen B Formale Logik Electronic course catalogue (eKVV) participant management | Ü | Tue 16-18 in D2-152 [09.10.2023-02.02.2024] |
|
| 392126 | Frettlöh, Tutor: Jakob Niermann |
Übungen C Formale Logik
Limited number of participants: 30 Electronic course catalogue (eKVV) participant management |
Ü | Wed 8-10 in T2-233 [09.10.2023-02.02.2024] |
|
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)