Deutschland » Bayern » Uni München » Informatik » Prof. Hofmann » Kurse
Prof. Martin Hofmann
Prof.
Martin
Hofmann
Informatik
Uni München
Lehrveranstaltungen von Prof. Martin Hofmann
| Veranstaltung | Umfang | Beschreibung | Bewertungen |
|---|---|---|---|
| Effiziente Algorithmen Vorlesung + Übung/Tutorium |
6 SWS | - | 10 |
| Formale Sprachen und Komplexität Vorlesung + Übung/Tutorium |
5 SWS 6 CP |
- | 2 |
| Informatik I Vorlesung |
4 SWS | - | 6 |
| Informatik II Vorlesung + Übung/Tutorium |
6 SWS | - | 0 |
| Rechnergestütztes Beweisen Vorlesung |
4 SWS | - | 1 |
