Wahlpflichtbereich Theoretische Informatik
| Name | Course Type | Name | Credits | ID |
|---|
| Effiziente Algorithmen | () Vorlesung | Effiziente Algorithmen | 6 | 467473 |
| () Tutorium | Effiziente Algorithmen - Übung | 0 | 467474 |
| Compilerbau | () Vorlesung | Compilerbau | 6 | 460125 |
| () Übung | Compilerbau | 0 | 458641 |
| Erfüllbarkeitsüberprüfung | () Vorlesung/Übung | Erfüllbarkeitsüberprüfung | | 459420 |
| Algorithmische Modelltheorie I | () Vorlesung | Algorithmische Modelltheorie | | 467727 |
| () Übung | Algorithmische Modelltheorie | 0 | 467726 |
| Introduction to Algorithmic Differentiation | () Vorlesung/Übung | Rechnergestütztes Differenzieren | 6 | 458539 |