| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Forschungsprojekt Computational Logic |
INF-MA-PR, INF-PM-FPA, INF-PM-FPG |
0/0/8 |
deutsch |
Prof. Rudolph |
P |
ZVZ |
|
AVO |
|
| Foundations of Constraint Programming |
INF-BAS2, INF-VERT2, MCL-LCP |
1/1/0 |
english |
Prof. Rudolph |
V U |
Montag Montag |
6. 6. |
APB/E005 APB/E005 |
1. Wo. 2. Wo. |
| Foundations of Logic Programming |
INF-BAS2, INF-VERT2, MCL-LCP |
2/1/0 |
english |
Prof. Rudolph |
V U |
Montag Freitag |
5. 5. |
APB/E005 APB/E005 |
wöch. 2. Wo. |
| Introduction to Formal Concept Analysis |
INF-BAS2, INF-E-3, MCL-AI, MCL-KR, MCL-PI |
2/2/0 |
english |
Prof. Rudolph |
V U |
Montag Montag |
2. 3. |
APB/E005 APB/E005 |
wöch. wöch. |
| Problem Solving and Search in AI |
INF-BAS2, INF-VERT2, MCL-AI, MCL-KR, MCL-PI |
2/1/2 |
english |
Dr. Gaggl |
V U |
Dienstag Donnerstag |
1. 1. |
APB/E005 APB/E005 |
wöch. wöch. |
| Project Group Computational Logic |
MCL-P |
0/0/4 |
english |
Prof. Rudolph |
P |
ZVZ |
|
AVO |
|
| Seminar Selected Topics of Computational Logic |
MCL-PS |
0/2/0 |
english |
Prof. Rudolph, Dr. Gaggl |
U |
ZVZ |
|
AVO |
|
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Basic Numerical Methods |
CMS-COR-NUM |
2/2/0 |
english |
Prof. Sbalzarini |
V U |
Montag Donnerstag |
5. 3. |
SCH/A316 HSZ/0003 |
wöch. wöch. |
| Forschungsprojekt angewandte biomedizinische Bildverarbeitung |
INF-PM-FPA |
8P/PB |
deutsch |
Prof. Sbalzarini |
P |
ZVZ |
|
AVO |
|
| Forschungsprojekt Computational Life Science |
CMS-PROJ |
8P/PB |
english |
Prof. Sbalzarini |
P |
ZVZ |
|
AVO |
|
| Forschungsprojekt Computersimulation biologischer Systeme |
INF-PM-FPG |
8P/PB |
deutsch |
Prof. Sbalzarini |
P |
ZVZ |
|
AVO |
|
| Philosophy of Science and good Scientific Practice |
CMS-SKL |
2/0/0 |
english |
Prof. Sbalzarini |
V |
Dienstag |
5. |
MPI-CBG/AUDITORIUM |
wöch. |
| Stochastic Modeling and Simulation |
CMS-COR-SAP |
2/1/0 |
english |
Prof. Sbalzarini |
V U |
Montag Donnerstag |
4. 5. |
HSZ/0401 GÖR/0229 |
wöch. wöch. |
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Human Reasoning and Computational Logic |
INF-E-3, INF-PM-FOR, INF-VERT2, MCL-AI, MCL-KR, MCL-PI |
2/2/0 |
english |
Prof. Hölldobler |
V U |
Mittwoch Mittwoch |
4. 5. |
APB/E005 APB/E005 |
wöch. wöch. |
| Knowledge Representation and Reasoning |
INF-04-HS, INF-AQUA, MCL-PS |
0/2/0 |
english |
Prof. Hölldobler |
U |
Donnerstag |
5. |
APB/E005 |
wöch. |
| Logic |
DSE-14-E12, MCL-F |
2/2/0 |
english |
Prof. Hölldobler |
V V U U |
Montag Donnerstag Mittwoch Freitag |
4. 4. 1. 4. |
APB/E005 APB/E005 APB/E005 APB/E005 |
1. Wo. 1. Wo. 1. Wo. 1. Wo. |
| Project Group Knowledge Representation and Reasoning |
MCL-P |
0/0/4 |
english |
Prof. Hölldobler |
P |
ZVZ |
|
AVO |
|
| Science of Computational Logic |
DSE-14-E12, INF-BAS2, MCL-F |
2/2/0 |
english |
Prof. Hölldobler |
V V U U |
Montag Donnerstag Mittwoch Freitag |
4. 4. 1. 4. |
APB/E005 APB/E005 APB/E005 APB/E005 |
2. Wo. 2. Wo. 2. Wo. 2. Wo. |
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: