先进的深度学习ML Christlein博士2+2 5.0 X Eng高级设计和编程SA教授Dirk Riehle博士4 5.0 X GER高级机械化推理，Coq Sa Pd Dr.Habil。Tadeusz Litak 4 7.5 X Ger/Eng高级编程技术SAHaraldKöstler博士4 7.5 X Eng Advance Advanced Ml教授ML教授Vasileios Belagiannis博士2+2？x ENG Algebra of Programming Sym Prof. Dr. L. Schröder, Prof. Dr. Stefan Milius 4 7.5 x GER/ENG Algebraic and Logical Aspects of Automata Theory Sym Prof. Dr. Stefan Milius, Dr. Henning Urbat 4 7.5 x GER/ENG Approximate Computing SA Prof. Dr. Keszöcze, Prof. Dr. Teich 2+2 5.0 x GER/ENG Artificial Intelligence I Sym Prof. Dr. Kohlhase 4+2 7.5 x ENG Artificial Intelligence II ML Prof. Dr. Kohlhase 4+2 7.5 x ENG Biomedical Signal Analysis ML Dr. Felix Kluge, Prof. Eskofier 2+2 5.0 x ENG Cognitive Neuroscience for AI Developers SA Dr. Patrick Krauss 2+2 5.0 x ENG Computational Photography and Capture SA Prof. Dr. Tim Weyrich 2+2 5.0 x GER/ENG Computational Visual Perception SA Prof. Dr. Andreas Kist, Marc Stamminger, Prof. Egger 4+2 7.5 x ENG Computer Vision ML Ph Ronak Kosti, Dr. Vincent Christlein 2+2 5.0 x GER Deep Learning ML Prof. Dr. Andreas Maier 2+2 5.0 x ENG Description Logic and Formal Ontologies Sym Prof. Dr. Schröder 4 7.5 x GER/ENG Formal Verification Sym PD Dr. Tadeusz Litak, Paul Wild 4 7.5 x GER/ENG Human Computer Interaction SA Prof. Dr. Eskofier 3+1 5.0 x ENG Informationsvisualisierung SA Dr. Roberto Grosso 2+2 5.0 x GER Knowledge Representation fir Mathematical Theories Sym Prof. Dr. Kohlhase/PD Dr. Rabe 2 2.5 x ENG Kommunikation und parallele Prozesse Sym Prof. Dr. Lutz Schröder 4 7.5 ?？？基于逻辑的自然语言语义Sym教授Kohlhase博士，PD Florian Rabe博士2 2.5 x GER/ENG机器学习时间序列豪华ML教授Eskofier教授，Oliver Amft教授，Ch。mutschler 2+2+2 7.5 x Eng机器学习时间序列ML Eskofier教授，Oliver Amft教授，Ch。mutschler 2+2 5.0 X ENG的高级数据工程方法SA教授Dirk Riehle博士2 5.0 X Eng Modallogik Sym Daniel Hausmann博士4 7.5？GER Multimedia Security ML Dr. Riess 2+2 5.0 x ENG Music Processing Analysis ML Prof. Dr. Meinard Müller 2+2 5.0 x ENG Nonclassical Logics in Computer Science Sym Prof. Dr. L. Schröder, PD Dr. Tadeusz Litak 4 7.5 x GER/ENG Pattern Analysis ML Dr. Christian Riess 3+1 5.0 x GER Pattern Recognition ML Prof. Dr. Andreas Maier 3+1+2 5.0 X ENG编程语言实用语义Sym PD Tadeusz Litak博士4 7.5 x GER/ENG