Module 39-Inf-FL_a Formal Logic
Semester selection: WiSe 2024/2025 SoSe 2024 Previous...
Formale Logik (Vorlesung)
| Reference no. | Teaching staff | Topic | Type | Dates | My eKVV |
|---|---|---|---|---|---|
| 392125 | Frettlöh | Formale Logik | V | Di 14-16 in H5 [07.10.2024-31.01.2025] |
|
Formale Logik (Übung)
| Reference no. | Teaching staff | Topic | Type | Dates | My eKVV |
|---|---|---|---|---|---|
| 392126 | Frettlöh, Tutor: |
Übungen A Formale Logik
Limited number of participants: 30 |
Ü | Di 16-18 in C01-148 [07.10.2024-31.01.2025] |
|
| 392126 | Frettlöh, Tutorin: | Übungen B Formale Logik | Ü | Di 16-18 in T2-208 [07.10.2024-31.01.2025] |
|
| 392126 | Frettlöh, Tutor: |
Übungen C Formale Logik
Limited number of participants: 25 |
Ü | Mi 12-14 in C01-148 [07.10.2024-31.01.2025] |
|
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 23/24 onwards): Major Subject (Academic) // Modelling
- Informatics / Bachelor (Enrollment from WiSe 23/24 onwards): Minor Subject (Academic), 60 CPs // Practical Informatics
- Informatics / Bachelor (Enrollment from WiSe 23/24 onwards): 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 from WiSe 16/17 onwards)