Modul 39-Inf-FL_a Formale Logik
Semesterauswahl: 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 [13.10.2025-06.02.2026] |
|
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] |
|
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