| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Deduction Systems |
INF-BAS2, INF-VERT2, MCL-ILS |
1/1/0 |
english |
Prof. Rudolph |
V U |
Montag Montag |
5. 5. |
APB/E005 APB/E005 |
2. Wo. 1. Wo. |
| Forschungsprojekt Computational Logic |
INF-MA-PR, INF-PM-FPA, INF-PM-FPG |
0/0/8 |
deutsch |
Prof. Rudolph |
P |
ZVZ |
|
AVO |
|
| Komplexpraktikum Computational Logic |
INF-B-510, INF-B-520 |
0/0/4 |
deutsch |
Prof. Rudolph |
P |
ZVZ |
|
AVO |
|
| Logical Modeling |
INF-BAS2, INF-VERT2, MCL-PS |
0/2/0 |
english |
Prof. Rudolph |
U |
Montag |
6. |
APB/E005 |
wöch. |
| Problem Solving and Search in AI |
INF-BAS2, INF-VERT2, MCL-AI, MCL-KR, MCL-PI |
2/2/0 |
english |
Dr. Gaggl |
V U U |
Montag Montag Montag |
3. 2. 2. |
APB/E005 APB/E005 APB/E005 |
wöch. 1. Wo. 2. Wo. |
| Project Group Computational Logic |
MCL-P |
0/0/4 |
english |
Prof. Rudolph |
P |
ZVZ |
|
AVO |
|
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Forschungsprojekt angewandte biomedizinische Bildverarbeitung |
INF-PM-FPA |
8P/PB |
deutsch |
Prof. Sbalzarini |
P |
ZVZ |
|
AVO |
|
| Forschungsprojekt Computersimulation biologischer Systeme |
INF-PM-FPG |
8P/PB |
deutsch |
Prof. Sbalzarini |
P |
ZVZ |
|
AVO |
|
| Particle Methods |
CMS-CLS-ELV, CMS-VC-ELV1, CMS-VC-ELV2, DSE-14-E13, DSE-14-E14, INF-VERT7 |
2/2/0 |
english |
Prof. Sbalzarini |
V U |
Mittwoch Mittwoch |
3. 1. |
APB/E006 APB/E007 |
wöch. wöch. |
| Seminar Computational Life Science |
CMS-SEM |
0/2/0 |
english |
Prof. Sbalzarini |
U |
Donnerstag |
5. |
APB/E007 |
wöch. |
| Spatiotemporal Modeling and Simulation of Biological Systems |
CMS-CLS-MOS, DSE-14-E13, DSE-14-E14, INF-BAS2, INF-BAS3, INF-BAS7, INF-VERT2, INF-VERT3, INF-VERT7 |
2/2/0 |
english |
Prof. Sbalzarini |
V U |
Dienstag Dienstag |
5. 6. |
AVO AVO |
wöch. wöch. |
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Foundations for Machine Learning |
CMS-CLS-ELG, CMS-VC-ELV1, CMS-VC-ELV2, INF-BAS2, INF-VERT2, MCL-AI |
2/0/0 |
english |
Prof. Hölldobler, PhD Stefanus |
V |
ZVZ |
|
AVO |
|
| Knowledge Representation and Reasoning |
INF-04-HS, INF-AQUA, MCL-PS |
0/2/0 |
english |
Prof. Hölldobler |
U |
ZVZ |
|
AVO |
|
| Project Group Knowledge Representation and Reasoning |
MCL-P |
0/0/4 |
english |
Prof. Hölldobler |
P |
ZVZ |
|
AVO |
|
| SAT Solving |
INF-BAS2, INF-BAS3, INF-E-3, INF-PM-FOR, INF-VERT2, MCL-KR, MCL-PI |
2/2/0 |
english |
Prof. Hölldobler |
V U |
Montag Mittwoch |
4. 4. |
APB/E005 APB/E005 |
wöch. wöch. |
| Theoretische Informatik und Logik |
INF-B-290, INF-D-330 |
4/2/0 |
deutsch |
Prof. Hölldobler |
V V U U U U U U U |
Montag Freitag Montag Dienstag Dienstag Mittwoch Freitag Freitag Freitag |
2. 3. 3. 1. 4. 5. 1. 2. 4. |
HSZ/0004 HSZ/0004 APB/E001 APB/E008 APB/E008 APB/E010 APB/E010 APB/E009 APB/E001 |
wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. |
Tag, Raum
Woche
Semester im Sinne der Prüfungs- und Studienordnung.
Master-Niveau Die Lehrveranstaltung ist an Master- bzw. Diplomstudenten im Hauptstudium gerichtet. Diese Angebot ist optional und nur für fortgeschrittene Studenten empfohlen.
Module Zusätzlich zu den Modulen aus Bachelor/Master/Diplom Informatik, Medieninformatik und Informationssystemtechnik gibt es noch folgende Module für andere Studiengänge
und folgende "Module" für ältere Studiengänge und Sonstiges
Prüfung Art und Dauer von Prüfungsleistungen sind den Modulbeschreibungen zu entnehmen. Ausnahmen hierfür sind die Module INF-AQUA, INF-B-510/20/30/40, INF-B-610 und INF-D-940 - hier wird die Prüfungsform der jeweiligen Lehrveranstaltung explizit angegeben. Mögliche Prüfungsformen sind: