Kursübersicht aus TUMOnline
Wintersemester 2021/22
| LV-Nr. | Titel | Termine | Vortragende/r (Mitwirkende/r) |
|---|---|---|---|
| 240962819 | Automaten und formale Sprachen (IN2041) |  | |
| 240967808 | Data Mining und Knowledge Discovery (IN2030) | | |
| 0000000498 | Fundamental Algorithms (CSE) (IN2157) | | |
| 0000000502 | Master-Seminar – Advanced Complexity Theory (IN2107, IN4442) | | |
| 240905918 | Perlen der Informatik 1 (IN2148) | |
|
| 0000003866 | Perlen der Informatik 3 (IN2176) | | |
| 0000001435 | Practical Course - Algorithms for Programming Contests (IN0012, IN2106, IN4205) | | |
| 0000001332 | Quantitative Verification (IN2340) | | |
| 0000000506 | Tutorials for Fundamental Algorithms (CSE) (IN2157) | | |
| 0000000570 | Vorkurs Mathematik für Informatik | |
|
| 0000001257 | Übung zu Automaten und formale Sprachen (IN2041) | |
Sommersemester 2022
| LV-Nr. | Titel | Termine | Vortragende/r (Mitwirkende/r) |
|---|---|---|---|
| 0000001131 | Doctoral seminar - Theoretical Foundations of Artificial Intelligence (IN2137) | |
|
| 0821066708 | Einführung in die Theoretische Informatik (IN0011) | | |
| 821078029 | Model Checking (IN2050) | |
|
| 0000002560 | Petrinetze (IN2052) | | |
| 0000000825 | Practical Course - Analysis of new phenomena in machine/deep learning (IN2106, IN4317) | | |
| 0000000011 | Practical Course - Recent Advances in Model Checking (IN0012, IN2106, IN4318) | | |
| 0000005372 | Statistical foundations of learning (IN2378) | | |
| 0000000274 | Übung zu Model Checking (IN2050) | | |
| 0000020872 | Übungen zu Einführung in die Theoretische Informatik (IN0011) | |