| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Existential Rules |
INF-BAS2, INF-VERT2, MCL-KR, MCL-PI |
2/2/0 |
Prof. Rudolph |
KI |
V U |
Freitag Freitag |
4. 5. |
INF/E005 INF/E005 |
wöch. wöch. |
| Foundations of Constraint Programming |
INF-VERT2, MCL-LCP |
1/1/0 |
Prof. Rudolph |
KI |
V |
Donnerstag |
3. |
INF/E005 |
wöch. |
| Foundations of Logic Programming |
INF-BAS2, MCL-LCP |
2/1/0 |
Prof. Rudolph |
KI |
V U |
Montag Montag |
3. 4. |
INF/E005 INF/E005 |
wöch. 2. Wo. |
| Introduction to Formal Concept Analysis |
INF-BAS2, MCL-KR, MCL-PI |
2/2/0 |
Prof. Rudolph |
KI |
V U |
Mittwoch Montag |
2. 2. |
INF/E005 INF/E005 |
wöch. wöch. |
| Project Group Computational Logic |
MCL-P |
0/0/4 |
Prof. Rudolph |
KI |
P |
ZVZ |
ZVZ |
AVO |
|
| Seminar Abstract Argumentation |
INF-AQUA, MCL-KR, MCL-PCS |
0/2/0 |
Dr. Gaggl |
KI |
U |
Freitag |
3. |
INF/E005 |
wöch. |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Intelligente Systeme |
INF-B-3B0, INF-D-340 |
3/1/0 |
Prof. Schroeder, Prof. Rother |
BIOTEC, KI |
V V U U U |
Mittwoch Mittwoch Montag Montag Mittwoch |
1. 3. 3. 3. 1. |
INF/E023 HSZ/0004 BAR/0213 BAR/E-63 INF/E023 |
2. Wo. wöch. 1. Wo. 2. Wo. 1. Wo. |
| Computer Vision |
INF-B-510, INF-B-530, INF-BAS2, INF-BAS7, INF-LE-MA, INF-PM-ANW, INF-VERT2, INF-VERT7, INF-VMI-8, MATH-MA-INFGDV |
2/2/0 |
Prof. Rother |
KI |
V U U |
Montag Dienstag Mittwoch |
2. 2. 5. |
INF/E023 INF/E040 INF/E040 |
wöch. wöch. wöch. |
| Einführungspraktikum Computer Vision |
INF-04-P, INF-B-510, INF-B-530, INF-BAS2, INF-LE-MA, MATH-MA-INFGDV, MINF-04-FG-MTGW |
0/0/2 |
Dipl.-Phys. Heidrich, Prof. Rother |
KI |
P |
Donnerstag |
2. |
INF/E042 |
wöch. |
| Hauptseminar Bildanalyse |
INF-AQUA, INF-BAS2, INF-BAS7, INF-D-940, INF-VERT2, INF-VERT7, IST-05-HS, MINF-04-HS |
0/2/0 |
Prof. Rother |
KI |
U |
Montag |
5. |
INF/1096 |
wöch. |
| Komplexpraktikum Computer Vision |
INF-04-KP, INF-MA-PR, INF-VERT2, IST-05-KP, MINF-04-KP-FG1 |
0/0/4 |
Dipl.-Phys. Heidrich, Prof. Rother |
KI |
P |
Donnerstag |
4., 5. |
INF/2025 |
wöch. |
| Machine Learning |
INF-04-FG-IS, INF-BAS2, INF-BAS7 |
2/2/0 |
Dr. Schlesinger |
KI |
V U U |
Freitag Donnerstag Donnerstag |
2. 4. 5. |
INF/E023 INF/E009 INF/E009 |
wöch. wöch. wöch. |
| Projektpraktikum Computer Vision |
INF-D-960, INF-PM-FPA, INF-PM-FPG |
0/0/4 |
Dipl.-Phys. Heidrich, Prof. Rother |
KI |
P |
Dienstag |
4., 5. |
INF/2025 |
wöch. |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Knowledge Representation and Reasoning |
INF-AQUA, MCL-KR, MCL-PCS, MCL-PI |
0/2/0 |
Prof. Hölldobler |
KI |
U |
Mittwoch |
6. |
INF/E005 |
wöch. |
| Komplexpraktikum Parallelizing SAT Preprocessors |
INF-04-KP, INF-E-4, INF-MA-PR |
0/0/4 |
Prof. Hölldobler |
KI |
P |
ZVZ |
ZVZ |
AVO |
|
| Logic |
MCL-F |
2/2/0 |
Prof. Hölldobler |
KI |
V V U U |
Montag Donnerstag Dienstag Donnerstag |
5. 4. 3. 2. |
INF/E005 INF/E005 INF/E005 INF/E005 |
wöch. (Okt. 2013 - Nov. 2013) wöch. (Okt. 2013 - Nov. 2013) wöch. (Okt. 2013 - Nov. 2013) wöch. (Okt. 2013 - Nov. 2013) |
| Project Group Knowledge Representation and Reasoning |
MCL-P |
0/0/4 |
Prof. Hölldobler |
KI |
P |
ZVZ |
ZVZ |
AVO |
|
| SAT Solving |
INF-VERT2, MCL-KR, MCL-PI |
2/2/0 |
Prof. Hölldobler |
KI |
V U |
Mittwoch Freitag |
3. 2. |
INF/E005 INF/E005 |
wöch. wöch. |
| Science of Computational Logic |
INF-BAS2, MCL-F |
2/2/0 |
Prof. Hölldobler |
KI |
V V U U |
Montag Donnerstag Dienstag Donnerstag |
5. 4. 3. 2. |
INF/E005 INF/E005 INF/E005 INF/E005 |
wöch. (Dez. 2013 - Feb. 2014) wöch. (Dez. 2013 - Feb. 2014) wöch. (Dez. 2013 - Feb. 2014) wöch. (Dez. 2013 - Feb. 2014) |
| Academic Skills in Computer Science |
INF-04-FG-SWT, INF-AQUA, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-VERT3, MCL-PCS |
2/2/0 |
Prof. Hölldobler, Prof. Aßmann |
KI, SMT |
V U |
Mittwoch Donnerstag |
4. 5. |
INF/E005 INF/E005 |
wöch. wöch. |