Modul 39-Inf-FL Formal Logic
Semesterauswahl: WiSe 2025/2026 SoSe 2025 Frühere...
Erläuterung zu den Modulelementen
Die Modul(teil)prüfung kann in einigen Studiengängen nach Wahl der Studierenden auch "unbenotet" erbracht werden. Vor Erbringung ist eine entsprechende Festlegung vorzunehmen, eine nachträgliche Änderung (benotet - unbenotet) ist ausgeschlossen. Wird diese Option gewählt, ist es nicht möglich, dieses Modul zu verwenden, um es in einen Studiengang einzubringen, in dem dieses Modul bei der Gesamtnotenberechnung berücksichtigt wird.
Formal Logic (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] |
|
Formal Logic (Ü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 / Bachelor of Science (Einschreibung bis WiSe 19/20): 1-Fach (fw)
- 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 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
- Informatik / Bachelor (Einschreibung bis SoSe 2020): Nebenfach (fw) // Praktische Informatik
- Informatik / Bachelor (Einschreibung bis SoSe 2020): Nebenfach (fw) // Technische Informatik
- Intelligente Systeme / Master of Science (Einschreibung bis SoSe 2023)
- Kognitive Informatik / Bachelor of Science (Einschreibung bis WiSe 19/20): 1-Fach (fw)
- Naturwissenschaftliche Informatik / Master of Science (Einschreibung bis SoSe 2025)
Zum Seitenanfang