| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
Master-Niveau |
Prüfung |
|---|---|---|---|---|---|---|
| Deduction Systems |
MCL-ILS |
1/1/0 |
Prof. Bruscoli |
KI |
ja |
|
| Selected Topics in Proof Theory |
MCL-KR, MCL-PCS, MCL-PI, MCL-TCSL |
0/2/0 |
Prof. Bruscoli |
KI |
ja |
|
| Structured Proof Theory and Abstract Logic Programming |
MCL-KR, MCL-PI, MCL-TCSL |
2/2/0 |
Prof. Bruscoli |
KI |
ja |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
Master-Niveau |
Prüfung |
|---|---|---|---|---|---|---|
| Bildverarbeitung |
FAK-INF-LE, INF-04-FG-IS, INF-B-520, INF-B-540, INF-BAS2, INF-BAS7, INF-VERT2, INF-VERT7, INF-VMI-8 |
2/2/0 |
Dr. Schlesinger |
KI |
ja |
|
| Komplexpraktikum Bildverarbeitung für 3D Displays |
INF-04-KP, INF-B-520, INF-B-540, INF-BAS2, INF-MA-PR, INF-VERT2, INF-VMI-8, MINF-04-KP-FG1 |
0/0/4 |
Dr. Schlesinger, Dipl.-Phys. Heidrich |
KI |
ja |
|
| Mustererkennung |
FAK-INF-LE, INF-04-FG-IS, INF-B-520, INF-B-540, INF-BAS2, INF-VERT2 |
2/2/0 |
Dr. Schlesinger |
KI |
ja |
|
| Praktikum Bildverarbeitung |
INF-04-P, INF-B-520, INF-B-540, INF-BAS2, INF-MA-PR, INF-VERT2, MINF-04-FG-MTGW |
0/0/2 |
Dr. Schlesinger, Dipl.-Phys. Heidrich |
KI |
ja |
L(PP) |
| Proseminar Aufgabenstellungen der Bildanalyse und Mustererkennung |
INF-B-520, INF-B-540, INF-B-610, MINF-04-PS |
0/2/0 |
Dr. Schlesinger, Dipl.-Phys. Heidrich |
KI |
nein |
Seminararbeit und Präsentation |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
Master-Niveau |
Prüfung |
|---|---|---|---|---|---|---|
| Hauptseminar Bildanalyse |
INF-04-HS, INF-BAS2, INF-BAS7, INF-D-940, INF-VERT2, INF-VERT7, IST-05-HS, MINF-04-HS |
0/2/0 |
Prof. Dr. Hölldobler, Dipl.-Phys. Heidrich |
KI |
ja |
L(V) |
| Knowledge Representation and Reasoning |
INF-BAS2, INF-VERT2, MCL-KR, MCL-PCS, MCL-PI |
0/2/0 |
Prof. Dr. Hölldobler |
KI |
ja |
|
| Neural Symbolic Integration |
INF-BAS2, INF-VERT2 |
2/2/0 |
Prof. Dr. Hölldobler |
KI |
ja |
|
| Project Group Knowledge Representation and Reasoning |
MCL-P |
0/0/4 |
Prof. Dr. Hölldobler |
KI |
ja |
|
| Theoretische Informatik und Logik |
INF-B-290, INF-D-330 |
4/2/0 |
Prof. Dr. Hölldobler, Prof. Dr. Baier |
KI, ThI |
nein |
Die Lehrveranstaltung ist an Master- bzw. Diplomstudenten im Hauptstudium gerichtet. Diese Angebot ist optional und nur für fortgeschrittene Studenten empfohlen.
Art und Dauer von Prüfungsleistungen:
P(m): mündliche Prüfung
P(s): schriftliche Prüfung
P(V): Vortrag, Referat
P(PP): Praktikumsprotokoll
P(sA): schriftliche Ausarbeitung, Seminararbeit
P(PA): Projektarbeit
P(PE): bewertbares Ergebnis eines Praktikums