Deutschland » Hessen » TU Darmstadt » Mathematik » Prof. Dr. Otto » Kurse
Prof. Dr. Martin Otto
Lehrveranstaltungen von Prof. Dr. Martin Otto
| Veranstaltung | Umfang | Beschreibung | Bewertungen |
|---|---|---|---|
| FMT - Endliche Modelltheorie Vorlesung + Übung/Tutorium |
3 SWS | - | 0 |
| Formale Grundlagen der Informatik 1 Vorlesung + Übung/Tutorium |
3 SWS 5 CP |
- | 12 |
| Formale Grundlagen der Informatik 2 Vorlesung + Übung/Tutorium |
6 SWS | - | 5 |
| Lineare Algebra I Vorlesung + Übung/Tutorium |
8 SWS 9 CP |
- | 1 |
| Lineare Algebra II Vorlesung + Übung/Tutorium |
8 SWS 9 CP |
- | 1 |
| MCS: Linear Algebra Vorlesung + Übung/Tutorium |
8 SWS | - | 1 |
