Studienablaufplan für Computational Logic
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Advanced Logics |
4/2/0 |
english |
Prof. Baier |
THI |
V V U |
Donnerstag Donnerstag Freitag |
2. 3. 2. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Academic Skills in Computer Science |
2/2/0 |
english |
Prof. Krötzsch |
THI |
V U |
Dienstag Dienstag |
3. 5. |
APB/E005 APB/E001 |
wöch. wöch. |
| German Course |
0/2/0 |
deutsch |
|
|
U |
ZVZ |
|
AVO |
|
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Deduction Systems |
1/1/0 |
english |
Prof. Rudolph |
KI |
V U |
Montag Montag |
5. 5. |
APB/E005 APB/E005 |
2. Wo. 1. Wo. |
| Logic-based Ontology Engineering |
2/2/0 |
english |
Dr.-Ing. Borgwardt |
THI |
V U |
Mittwoch Donnerstag |
2. 4. |
APB/E005 APB/E005 |
wöch. wöch. |
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Project Group Computational Logic |
0/0/4 |
english |
Prof. Rudolph |
KI |
P |
ZVZ |
|
AVO |
|
| Project Group Knowledge Representation and Reasoning |
0/0/4 |
english |
Prof. Hölldobler |
KI |
P |
ZVZ |
|
AVO |
|
| Project Group Knowledge-Based Systems |
0/0/4 |
english |
Prof. Krötzsch |
THI |
P |
ZVZ |
|
AVO |
|
| Project Group Model Checking |
0/0/4 |
english |
Prof. Baier |
THI |
P |
ZVZ |
|
AVO |
|
| Project Group Theoretical Computer Science |
0/0/4 |
english |
Prof. Baader, Dr. Turhan |
THI |
P |
ZVZ |
|
AVO |
|
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Knowledge Representation and Reasoning |
0/2/0 |
english |
Prof. Hölldobler |
KI |
U |
ZVZ |
|
AVO |
|
| Lab Course Modeling and Automated Verification |
0/2/0 |
english |
Prof. Baier |
THI |
P |
Freitag |
5. |
AVO |
wöch. |
| Logical Modeling |
0/2/0 |
english |
Prof. Rudolph |
KI |
U |
Montag |
6. |
APB/E005 |
wöch. |
| Seminar Existential Rules |
0/2/0 |
english |
Prof. Krötzsch |
THI |
U |
Dienstag |
5. |
APB/E005 |
wöch. |
| Seminar Selected Topics in Logic and Verification |
0/2/0 |
english |
Prof. Baier |
THI |
U |
Freitag |
3. |
APB/E005 |
wöch. |
| Seminar Theoretical Computer Science |
0/2/0 |
english |
Prof. Baader, Dr. Turhan |
THI |
U |
Freitag |
4. |
APB/E005 |
wöch. |
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Description Logic |
4/2/0 |
english |
Prof. Baader |
THI |
V V V |
Dienstag Mittwoch Donnerstag |
6. 5. 6. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Foundations for Machine Learning |
2/0/0 |
english |
Prof. Hölldobler, PhD Stefanus |
KI |
V |
ZVZ |
|
AVO |
|
| Problem Solving and Search in AI |
2/2/0 |
english |
Dr. Gaggl |
KI |
V U U |
Montag Montag Montag |
3. 2. 2. |
APB/E005 APB/E005 APB/E005 |
wöch. 1. Wo. 2. Wo. |
All lectures at TUD, which are on the master's level, which are related to Computational Logic, and which are not already assigned to any CL-module may be selected. Please contact the module representative.
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Wireless Sensor Networks |
2/2/0 |
english |
Prof. Schill, Dr. Dargie |
SYA |
V U |
Dienstag Donnerstag |
3. 4. |
APB/E006 APB/E006 |
wöch. wöch. |
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Database Theory |
4/2/0 |
english |
Prof. Krötzsch |
THI |
V V U |
Dienstag Freitag Mittwoch |
2. 5. 3. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Problem Solving and Search in AI |
2/2/0 |
english |
Dr. Gaggl |
KI |
V U U |
Montag Montag Montag |
3. 2. 2. |
APB/E005 APB/E005 APB/E005 |
wöch. 1. Wo. 2. Wo. |
| SAT Solving |
2/2/0 |
english |
Prof. Hölldobler |
KI |
V U |
Montag Mittwoch |
4. 4. |
APB/E005 APB/E005 |
wöch. wöch. |
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Database Theory |
4/2/0 |
english |
Prof. Krötzsch |
THI |
V V U |
Dienstag Freitag Mittwoch |
2. 5. 3. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Description Logic |
4/2/0 |
english |
Prof. Baader |
THI |
V V V |
Dienstag Mittwoch Donnerstag |
6. 5. 6. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Problem Solving and Search in AI |
2/2/0 |
english |
Dr. Gaggl |
KI |
V U U |
Montag Montag Montag |
3. 2. 2. |
APB/E005 APB/E005 APB/E005 |
wöch. 1. Wo. 2. Wo. |
| SAT Solving |
2/2/0 |
english |
Prof. Hölldobler |
KI |
V U |
Montag Mittwoch |
4. 4. |
APB/E005 APB/E005 |
wöch. wöch. |
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Database Theory |
4/2/0 |
english |
Prof. Krötzsch |
THI |
V V U |
Dienstag Freitag Mittwoch |
2. 5. 3. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Description Logic |
4/2/0 |
english |
Prof. Baader |
THI |
V V V |
Dienstag Mittwoch Donnerstag |
6. 5. 6. |
APB/E005 APB/E005 APB/E005 |
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: