Theoretische Informatik
| Name | Course Type | Name | Credits | ID |
|---|
| Logikprogrammierung | () Vorlesung | Logikprogrammierung | 6 | 454728 |
| () Übung | Logikprogrammierung | 0 | 454727 |
| Statische Programmanalyse | () Vorlesung | Statische Programmanalyse | 6 | 455273 |
| () Übung | Statische Programmanalyse | 0 | 455272 |
| Online Algorithmen | () Vorlesung | Vorlesung Online Algorithmen | 6 | 455712 |
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 455138 |
| () Übung | Introduction to Model Checking | 0 | 455137 |
| Graphzerlegungen und algorithmische Anwendungen | () Vorlesung | Graph Decompositions and Algorithmic Applications | 6 | 455435 |
| () Übung | Graph Decompositions and Algorithmic Applications (Übung) | 0 | 455436 |
| Algorithmic Foundations of Datascience | () Vorlesung | Algorithmic Foundations of Datascience | | 448771 |
| () Übung | Algorithmic Foundations of Datascience | 0 | 448750 |
| Provenance Analysis and Semiring Semantics for Logics and Games | () Vorlesung | Provenance Analysis and Semiring Semantics for Logics and Games | | 455749 |
| Fixpoints and Induction in Logic and Computer Science | () Übung | Fixpoints and Induction in Logic and Computer Science | 0 | 455741 |
| () Vorlesung | Fixpoints and Induction in Logic and Computer Science | | 455732 |