| 104.570 | SE | AKLOG Forschungsseminar | 2.0 | 3.0 | 2024S | Hetzl, Stefan
|
| 104.508 | VO | AKLOG: Die Gödelschen Unvollständigkeitssätze | 2.0 | 3.0 | 2024S | Hetzl, Stefan
|
| 104.509 | UE | AKLOG: Die Gödelschen Unvollständigkeitssätze | 1.0 | 1.5 | 2024S | Hetzl, Stefan
|
| 185.A26 | PR | Bachelorarbeit für Informatik und Wirtschaftsinformatik | 5.0 | 10.0 | 2024S | Ciabattoni, Agata
|
| 185.A39 | SE | Forschungsseminar für DiplomandInnen und DissertantInnen | 2.0 | 3.0 | 2024S | Ciabattoni, Agata
|
| 108.036 | VO | Theoretische Informatik | 2.0 | 3.0 | 2024S | Hetzl, Stefan
|
| 108.037 | UE | Theoretische Informatik, Übung | 1.0 | 2.0 | 2024S | Hetzl, Stefan
|
| 104.570 | SE | AKLOG Forschungsseminar | 2.0 | 3.0 | 2023W | Hetzl, Stefan
|
| 185.A26 | PR | Bachelorarbeit für Informatik und Wirtschaftsinformatik | 5.0 | 10.0 | 2023W | Ciabattoni, Agata
|
| 185.A39 | SE | Forschungsseminar für DiplomandInnen und DissertantInnen | 2.0 | 3.0 | 2023W | Ciabattoni, Agata
|
| 104.631 | VU | Mathematisches Arbeiten für Informatik und Wirtschaftsinformatik | 2.5 | 2.0 | 2023W | Hetzl, Stefan
|
| 104.243 | PR | Praktikum aus Logik mit Bachelorarbeit | 4.0 | 10.0 | 2023W | Baaz, Matthias
|
| 104.510 | PV | Privatissimum für Diplomanden und Dissertanten | 2.0 | 3.0 | 2023W | Hetzl, Stefan
|
| 192.021 | PR | Project in Computer Science 1 | 4.0 | 6.0 | 2023W | Ciabattoni, Agata
|
| 192.022 | PR | Project in Computer Science 2 | 4.0 | 6.0 | 2023W | Ciabattoni, Agata
|
| 104.465 | SE | Seminar mit Seminararbeit | 2.0 | 3.0 | 2023W | Baaz, Matthias
|