Studienablaufplan Master Computational Logic
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|
| Advanced Logic |
4/2/0 |
Prof. Dr. Baier |
ThI |
V V U U |
Freitag Freitag Montag Donnerstag |
2. 3. 1. 2. |
INF/E005 INF/E005 INF/E005 INF/E005 |
wöch. wöch. wöch. wöch. |
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|
| Deduction Systems |
1/1/0 |
Prof. Rudolph |
KI |
V |
Montag |
4. |
INF/E005 |
wöch. |
| Semantic Search: Algorithms and Applications |
2/2/0 |
Prof. Schroeder |
BIOTEC |
V U |
Donnerstag Donnerstag |
4. 5. |
INF/E005 AVO |
wöch. wöch. |
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|
| Project Group Computational Logic |
0/0/4 |
N.N. |
KI |
P |
ZVZ |
ZVZ |
AVO |
|
| Project Group Knowledge Representation and Reasoning |
0/0/4 |
Prof. Dr. Hölldobler |
KI |
P |
ZVZ |
ZVZ |
AVO |
|
| Project Group Model Checking |
0/0/4 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
V |
Dienstag |
1. |
AVO |
wöch. |
| Project Group Semantic Search |
0/0/4 |
N.N. |
KI |
P |
ZVZ |
ZVZ |
AVO |
|
| Project Group Theoretical Computer Science |
0/0/4 |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
P |
ZVZ |
ZVZ |
AVO |
Von den 5 Wahlpflichtmodulen müssen 3 ausgewählt werden. In jedem ausgewählten Wahlpflichtmodul müssen Lehrveranstaltungen im Umfang von mindestens 8 SWS belegt werden. Dabei darf jede Lehrveranstaltung für höchstens ein Modul ausgewählt werden.
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|
| Fuzzy Description Logic |
2/2/0 |
Prof. Dr. Baader, Dr. Distel |
ThI |
V V |
Montag Freitag |
2. 4. |
INF/E005 INF/E005 |
wöch. wöch. |
| Knowledge Representation and Reasoning |
0/2/0 |
Prof. Dr. Hölldobler |
KI |
V |
Donnerstag |
3. |
INF/E005 |
wöch. |
| Automata and Logic |
4/2/0 |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
V V V |
Dienstag Mittwoch Donnerstag |
6. 5. 6. |
INF/E005 INF/E005 INF/E005 |
wöch. wöch. wöch. |
| Neural Symbolic Integration |
2/2/0 |
Prof. Dr. Hölldobler |
KI |
V U |
Montag Mittwoch |
6. 6. |
INF/E005 INF/E005 |
wöch. wöch. |
| Foundations of Semantic Web Technologies |
4/2/0 |
Prof. Rudolph |
KI |
V V U |
Dienstag Dienstag Freitag |
2. 3. 5. |
INF/E005 INF/E005 INF/E005 |
wöch. wöch. wöch. |
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|
| Weighted Tree Automata |
4/2/0 |
Prof. Dr. Vogler |
ThI |
V V V |
Montag Mittwoch Donnerstag |
3. 4. 1. |
INF/E005 INF/E005 INF/E005 |
wöch. wöch. wöch. |
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|
| Fuzzy Description Logic |
2/2/0 |
Prof. Dr. Baader, Dr. Distel |
ThI |
V V |
Montag Freitag |
2. 4. |
INF/E005 INF/E005 |
wöch. wöch. |
| Seminar Theoretical Computer Science |
0/2/0 |
Prof. Dr. Baader, Dr. Turhan |
ThI |
U |
ZVZ |
ZVZ |
AVO |
|
| Automata and Logic |
4/2/0 |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
V V V |
Dienstag Mittwoch Donnerstag |
6. 5. 6. |
INF/E005 INF/E005 INF/E005 |
wöch. wöch. wöch. |
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|
| Knowledge Representation and Reasoning |
0/2/0 |
Prof. Dr. Hölldobler |
KI |
V |
Donnerstag |
3. |
INF/E005 |
wöch. |
| Seminar Theoretical Computer Science |
0/2/0 |
Prof. Dr. Baader, Dr. Turhan |
ThI |
U |
ZVZ |
ZVZ |
AVO |
|
| Automata and Logic |
4/2/0 |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
V V V |
Dienstag Mittwoch Donnerstag |
6. 5. 6. |
INF/E005 INF/E005 INF/E005 |
wöch. wöch. wöch. |
| Neural Symbolic Integration |
2/2/0 |
Prof. Dr. Hölldobler |
KI |
V U |
Montag Mittwoch |
6. 6. |
INF/E005 INF/E005 |
wöch. wöch. |
| Foundations of Semantic Web Technologies |
4/2/0 |
Prof. Rudolph |
KI |
V V U |
Dienstag Dienstag Freitag |
2. 3. 5. |
INF/E005 INF/E005 INF/E005 |
wöch. wöch. wöch. |
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|
| Component Based Software Engineering |
2/2/0 |
Prof. Dr. Aßmann |
SMT |
V U |
Mittwoch Freitag |
2. 1. |
INF/E023 BZW/A251 |
wöch. wöch. |
| Internet and Web Applications |
2/2/0 |
Prof. Dr. Schill |
SyA |
V |
Donnerstag |
5., 6. |
INF/E023 |
wöch. |
| Security and Cryptography II |
2/2/0 |
Dr. Köpsell |
SyA |
V U |
Dienstag Donnerstag |
3. 5. |
INF/E008 INF/E001 |
wöch. wöch. |
| Wireless Sensor Networks |
2/2/0 |
Prof. Dr. Schill, Dr. Dargie |
SyA |
V U |
Dienstag Donnerstag |
3. 2. |
INF/E006 INF/E007 |
wöch. wöch. |
| Foundations of Concurrent and Distributed Systems |
4/0/0 |
Prof. Dr. Fetzer |
SyA |
V |
ZVZ |
ZVZ |
AVO |
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|
| Knowledge Representation and Reasoning |
0/2/0 |
Prof. Dr. Hölldobler |
KI |
V |
Donnerstag |
3. |
INF/E005 |
wöch. |
| Lab Course Modeling and Quantitative System Analysis |
0/0/4 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
P |
ZVZ |
ZVZ |
AVO |
|
| Seminar Theoretical Computer Science |
0/2/0 |
Prof. Dr. Baader, Dr. Turhan |
ThI |
U |
ZVZ |
ZVZ |
AVO |
|
| Seminar Model Checking |
0/2/0 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
U |
ZVZ |
ZVZ |
AVO |