Kursübersicht

Kursübersicht aus TUMOnline

LV-Nr.	Titel	Vortragende/r (Mitwirkende/r)
240962819	Automaten und formale Sprachen (IN2041)	F. J. Esparza Estaun
0000001209	Bachelor Seminar on Logic and Algorithms (IN0014, IN45063)	F. J. Esparza Estaun R. Guttenberg
240967808	Data Mining und Knowledge Discovery (IN2030)	T. Runkler
0000002169	Doctoral seminar - Theoretical Foundations of Artificial Intelligence (IN2137)	D. Ghoshdastidar [L]
0000006207	Komplexitätstheorie (IN2007)	B. Ayikudi Ramachandrakumar
0000001214	Master-Seminar – Advanced Complexity Theory (IN2107, IN4442)	D. Ghoshdastidar [L] B. Ayikudi Ramachandrakumar
0000004295	Master-Seminar – Theoretical advances in deep learning (IN2107, IN4409)	D. Ghoshdastidar [L] A. Craciun M. Sabanayagam M. Zarvandi
0000003866	Perlen der Informatik 3 (IN2176)	D. Ghoshdastidar [L] M. Zarvandi
0000004494	Seminar - Recent Advances in the Verification of Neural Networks (IN2107, IN0014, IN45007)	.‑. Azeem Muqsit M. Grobelna J. Kretinsky
0000001201	Seminar on Formal Verification meets Artificial Intelligence (IN0014, IN2107, IN45019)	J. Kretinsky [L] .‑. Azeem Muqsit M. Grobelna
0000001206	Seminar on Model Checking Stochastic Games (IN0014, IN2107, IN45073)	.‑. Azeem Muqsit M. Grobelna J. Kretinsky
0000001257	Übung zu Automaten und formale Sprachen (IN2041)	F. J. Esparza Estaun [L] P. Czerner R. Guttenberg