Modul 39-Inf-FL_a Formale Logik
Semesterauswahl: SoSe 2026 WiSe 2025/2026 SoSe 2025 Frühere...
Formale Logik (Vorlesung)
| Belegnr | Lehrende*r | Thema | Art | Termine | Mein eKVV |
|---|---|---|---|---|---|
| 392125 | Frettlöh | Formale Logik Course taught in English | V |
Di 14-16 in H5 [13.10.2025-06.02.2026]
Di 14-16 in S0-209 [14.10.2025] |
|
| 392125 | Frettlöh |
Klausur: Formale Logik - 1. Termin
Anmeldung über das eKVV bis zum
11.02.26
Course taught in English
|
Kl |
|
Formale Logik (Übung)
| Belegnr | Lehrende*r | Thema | Art | Termine | Mein eKVV |
|---|---|---|---|---|---|
| 392126 | Frettlöh |
Übungen: Formale Logik
Begrenzte Teilnahmezahl: 100 |
Ü | n.V. [13.10.2025-06.02.2026] |
|
| 392126 | Frettlöh, Tutorin: Lisa Henetmayr |
Übungen A Formale Logik
Begrenzte Teilnahmezahl: 30 |
Ü | Di 16-18 in S1-501 [13.10.2025-06.02.2026] |
|
| 392126 | Frettlöh, Tutorin: Lisa Henetmayr |
Übungen B Formale Logik
Begrenzte Teilnahmezahl: 30 |
Ü | Mi 12-14 in S1-501 [13.10.2025-06.02.2026] |
|
Verwendungen
- Bioinformatik und Genomforschung / Master of Science (Einschreibung ab WiSe 16/17)
- Grundlagen Kognitiver Systeme / Bachelor (Einschreibung bis SoSe 2023): Nebenfach (fw)
- Informatik / Bachelor of Science (Einschreibung ab WiSe 25/26): Kernfach (fw) // Modellbildung
- Informatik / Bachelor (Einschreibung ab WiSe 25/26): Nebenfach (fw)
- Informatik / Bachelor of Science (Einschreibung bis SoSe 2025): Kernfach (fw) // Modellbildung
- Informatik / Bachelor (Einschreibung bis SoSe 2025): Nebenfach (fw) // Praktische Informatik
- Informatik / Bachelor (Einschreibung bis SoSe 2025): Nebenfach (fw) // Technische Informatik
- Informatik / Bachelor of Science (Einschreibung bis SoSe 2023): Kernfach (fw) // Technische Informatik
- Informatik / Bachelor (Einschreibung bis SoSe 2023): Nebenfach (fw) // Praktische Informatik
- Informatik / Bachelor (Einschreibung bis SoSe 2023): Nebenfach (fw) // Technische Informatik
- Intelligente Systeme / Master of Science (Einschreibung bis SoSe 2023)
- Naturwissenschaftliche Informatik / Master of Science (Einschreibung bis SoSe 2025)
Zum Seitenanfang