Deutschland » Hessen » TU Darmstadt » Mathematik » Prof. Dr. Kohlenbach » Kurse
Prof. Dr. Ulrich Kohlenbach
Prof. Dr.
Ulrich
Kohlenbach
Mathematik
TU Darmstadt
Lehrveranstaltungen von Prof. Dr. Ulrich Kohlenbach
| Veranstaltung | Umfang | Beschreibung | Bewertungen |
|---|---|---|---|
| Analysis I Vorlesung + Übung/Tutorium |
4 SWS 9 CP |
- | 8 |
| Analysis I für MCS Vorlesung + Übung/Tutorium |
8 SWS | - | 3 |
| Analysis II Vorlesung + Übung/Tutorium |
4 SWS 9 CP |
- | 2 |
| Einführung in die Logik Vorlesung + Übung/Tutorium |
9 SWS | - | 2 |
| Formale Grundlagen der Informatik 1 Vorlesung + Übung/Tutorium |
4 SWS | - | 12 |
| Formale Grundlagen der Informatik 2 Vorlesung |
4.5 CP | - | 7 |
