Kursübersicht aus TUMOnline
Wintersemester 2025/26
| LV-Nr. | Titel | Termine | Vortragende/r (Mitwirkende/r) |
|---|---|---|---|
| 240962819 | Automaten und formale Sprachen (IN2041) |
|
|
| 0000001209 | Bachelor Seminar on Logic and Algorithms (IN0014, IN45063) |
|
|
| 240967808 | Data Mining und Knowledge Discovery (IN2030) |
|
|
| 0000001456 | Doctoral Seminar - Theoretical Computer Science |
|
|
| 0000001442 | Games on Graphs (IN2296) |
|
|
| 0000001449 | Practical Course - Algorithms for Programming Contests (IN0012, IN2106, IN4205) |
|
|
| 0000001206 | Seminar on Model Checking Stochastic Games (IN0014, IN2107, IN45073) |
|
|
| 0000001257 | Übung zu Automaten und formale Sprachen (IN2041) |
|
Sommersemester 2026
| LV-Nr. | Titel | Termine | Vortragende/r (Mitwirkende/r) |
|---|---|---|---|
| 0000005145 | Doctoral Seminar - Theoretical Computer Science |
|
|
| 0000004294 | Logik (IN2049) |
|
|
| 0000002560 | Petrinetze (IN2052) |
|
|
| 0000001443 | Seminar on Automata Theory (IN0014, IN2107, IN45112) |
|
F. Bruse [L]
|
| 0000001548 | Seminar on Model Checking Stochastic Games (IN0014, IN2107, IN45073) |
|