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) | ![]() |