Module 39-Inf-FL_a Formal Logic
Semester selection: WiSe 2026/2027 SoSe 2026 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 [12.10.2026-05.02.2027] |
|
Formale Logik (exercise)
| Reference no. | Teaching staff | Topic | Type | Dates | My eKVV |
|---|---|---|---|---|---|
| 392126 | Frettlöh, Tutorin: Lisa Henetmayr |
Übungen A Formale Logik
Limited number of participants: 30 |
Ü | Tue 16-18 [12.10.2026-05.02.2027] |
|
| 392126 | Frettlöh, Tutorin:Lisa Henetmayr |
Übungen B Formale Logik
Limited number of participants: 30 |
Ü | Wed 12-14 [12.10.2026-05.02.2027] |
|
Uses
- 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 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)