| Course | Module | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|---|
| Deduction Systems | INF-BAS2 , INF-VERT2 , MCL-ILS | 1/1/0 | english | Prof. Rudolph | Künstliche Intelligenz |
| Forschungsprojekt Computational Logic | INF-MA-PR , INF-PM-FPA , INF-PM-FPG | 0/0/8 | german | Prof. Rudolph | Künstliche Intelligenz |
| Komplexpraktikum Computational Logic | INF-B-510 , INF-B-520 | 0/0/4 | german | Prof. Rudolph | Künstliche Intelligenz |
| Logical Modeling | INF-BAS2 , INF-VERT2 , MCL-PS | 0/2/0 | english | Prof. Rudolph | Künstliche Intelligenz |
| Project Group Computational Logic | MCL-P | 0/0/4 | english | Prof. Rudolph | Künstliche Intelligenz |
| Course | Module | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|---|
| Computer Vision 2 | CMS-CLS-ELG , CMS-VC-ELV1 , CMS-VC-ELV2 , INF-04-FG-IS , INF-B-520 , INF-B-540 , INF-BAS2 , INF-BAS7 , INF-LE-MA , INF-VERT2 , INF-VERT7 , MATH-MA-INFGDV | 2/2/0 | english | Prof. Dr. Andres | Künstliche Intelligenz |
| Machine Learning 2 | CMS-CE-EL1 , CMS-CE-EL2 , CMS-CLS-ELG , CMS-COR-MLD , CMS-VC-ELV1 , CMS-VC-ELV2 , INF-04-FG-IS , INF-B-520 , INF-B-540 , INF-BAS2 , INF-BAS7 , INF-LE-MA , INF-VERT2 , INF-VERT7 , MATH-MA-INFGDV , MCL-AI , MCL-PI | 2/2/0 | english | Prof. Dr. Andres | Künstliche Intelligenz |
| Course | Module | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|---|
| Research Project Applied Biomedical Image Analysis | INF-PM-FPA | 8P/PB | german/english | Prof. Sbalzarini | Künstliche Intelligenz |
| Research project Computer simulation of biological systems | INF-PM-FPG | 8P/PB | german/english | Prof. Sbalzarini | Künstliche Intelligenz |
| Particle Methods | CMS-CLS-ELG , CMS-CLS-ELV , CMS-CMA-ELV2 , CMS-EE-EL1 , CMS-EE-EL2 , CMS-VC-ELV1 , CMS-VC-ELV2 , DSE-14-E13 , DSE-14-E14 , DSE-E13 , DSE-E14 , INF-VERT7 | 2/2/0 | english | Prof. Sbalzarini | Künstliche Intelligenz |
| Selected Topics in Scientific Computing for Systems Biology | 0/2/0 | english | Prof. Sbalzarini | Künstliche Intelligenz | |
| Seminar Computational Life Science | CMS-SEM | 0/2/0 | english | Prof. Sbalzarini | Künstliche Intelligenz |
| Spatiotemporal Modeling and Simulation of Biological Systems | CMS-CLS-MOS , DSE-14-E13 , DSE-14-E14 , DSE-E13 , DSE-E14 , INF-BAS2 , INF-BAS3 , INF-BAS7 , INF-VERT2 , INF-VERT3 , INF-VERT7 | 2/2/0 | english | Prof. Sbalzarini | Künstliche Intelligenz |
| Course | Module | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|---|
| Answer Set Programming | INF-B-510 , INF-B-520 , INF-D-520 | 2/2/0 | english/german | Prof. Hölldobler | Künstliche Intelligenz |
| KRR-Reading Class | INF-PM-FOR , INF-VERT2 , MCL-KR , MCL-PI | 2/2/0 | english | Prof. Hölldobler | Künstliche Intelligenz |
| Parameterized Algorithms and Implementations for SAT and Generalizations | INF-BAS2 , INF-BAS3 , INF-E-3 , INF-PM-FOR , INF-VERT2 , MCL-KR , MCL-PI | 2/1/1 | english | Dr. Fichte | Künstliche Intelligenz |
| Project Group Knowledge Representation and Reasoning | MCL-P | 0/0/4 | english | Prof. Hölldobler | Künstliche Intelligenz |
| Seminar Knowledge Representation and Reasoning | CMS-LM-ADV , CMS-LM-AI , CMS-SEM , INF-04-HS , INF-AQUA , INF-D-940 , MCL-PS | 0/2/0 | english | Prof. Hölldobler | Künstliche Intelligenz |
Day/Room
Weeks
semester as defined in the exam regulation. The modules are shown with their starting semester, thus modules taking more than one semester to complete may be shown with a lower semester number than the students actually have..
master level This course is intended for students in the master and diploma programs. This course is optional and only recommended for students with advanced knowledge.
module In addition to the modules of the Bachelor/Master/Diplom Informatik, Medieninformatik and Informationssystemtechnik programs the following modules for other study programs have been defined:
and the following pseudo modules for older non-modularized study programs
Exams The type and duration of exams are defined in the module handbook. Exceptions thereof are modules INF-AQUA, INF-B-510/20/30/40, INF-B-610 and INF-D-940 - the offered courses explicitly state the exam type and duration. Possible exam types are as follows::