Kursübersicht aus TUMOnline
Wintersemester 2022/23
| LV-Nr. | Titel | Termine | Vortragende/r (Mitwirkende/r) |
|---|---|---|---|
| 240962819 | Automaten und formale Sprachen (IN2041) |  | |
| 240967808 | Data Mining und Knowledge Discovery (IN2030) | | |
| 0000002169 | Doctoral seminar - Theoretical Foundations of Artificial Intelligence (IN2137) | |
|
| 0000000498 | Fundamental Algorithms (CSE) (IN2157) | | |
| 0000002204 | Master-Seminar - Recent Advances in Model Checking (IN2107, IN4759) | | |
| 0000004295 | Master-Seminar – Theoretical advances in deep learning (IN2107, IN4409) | | |
| 240905918 | Perlen der Informatik 1 (IN2148) | | |
| 0000003866 | Perlen der Informatik 3 (IN2176) | | |
| 0000000506 | Tutorials for Fundamental Algorithms (CSE) (IN2157) | | |
| 0000000570 | Vorkurs Mathematik für Informatik | |
|
| 0000001257 | Übung zu Automaten und formale Sprachen (IN2041) | |
Sommersemester 2023
| 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) | | |
| 0000004294 | Logik (IN2049) | | |
| 0000000825 | Practical Course - Analysis of new phenomena in machine/deep learning (IN2106, IN4317) | | |
| 0000000040 | Practical Course - Recent Advances in Model Checking (IN0012, IN2106, IN4318) | | |
| 0000003311 | Seminar - Recent Advances in the Verification of Neural Networks (IN2107, IN0014) | | |
| 0000000957 | Seminar on Formal Verification meets Machine Learning (IN0014, IN2107) | | |
| 0000003729 | Statistical Foundations of Learning (CIT4230004) | |
|