Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Human Reasoning and Computational Logic |
2/2/0 |
english |
Prof. Hölldobler |
KI |
V U |
Mittwoch Mittwoch |
4. 5. |
APB/E005 APB/E005 |
wöch. wöch. |
| Introduction to Formal Concept Analysis |
2/2/0 |
english |
Prof. Rudolph |
KI |
V U |
Montag Montag |
2. 3. |
APB/E005 APB/E005 |
wöch. wöch. |
| Problem Solving and Search in AI |
2/1/2 |
english |
Dr. Gaggl |
KI |
V U |
Dienstag Donnerstag |
1. 1. |
APB/E005 APB/E005 |
wöch. wöch. |
Modulverantwortlicher: Prof.Baier, THI
Dieses Modul ist Bestandteil der Studiengänge:
Im Wintersemester 2019/20 werden in diesem Modul keine Lehrveranstaltungen angeboten.
Modulverantwortlicher: Prof.Krötzsch, THI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| German Course |
0/2/0 |
deutsch |
|
|
U |
ZVZ |
|
AVO |
|
Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Logic |
2/2/0 |
english |
Prof. Hölldobler |
KI |
V V U U |
Donnerstag Montag Mittwoch Freitag |
4. 4. 1. 4. |
APB/E005 APB/E005 APB/E005 APB/E005 |
1. Wo. 1. Wo. 1. Wo. 1. Wo. |
| Science of Computational Logic |
2/2/0 |
english |
Prof. Hölldobler |
KI |
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. |
Modulverantwortlicher: Prof.Krötzsch, THI
Dieses Modul ist Bestandteil der Studiengänge:
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 |
|---|---|---|---|---|---|---|---|---|---|
| Design Patterns and Frameworks |
2/2/0 |
english |
Dr. Götz |
SMT |
V U |
Dienstag Mittwoch |
5. 5. |
APB/E023 HSZ/0101 |
wöch. wöch. |
| Distributed Systems |
2/2/0 |
english |
Prof. Schill, Dr. Braun, Dr. Springer |
SYA |
V U |
Donnerstag Dienstag |
5. 2. |
APB/E023 APB/E023 |
wöch. wöch. |
| Transactional Information Systems |
2/2/0 |
english |
Prof. Lehner |
SYA |
V U |
Montag Dienstag |
4. 4. |
APB/E010 APB/E001 |
wöch. wöch. |
Modulverantwortlicher: Prof.Baader, THI
Dieses Modul ist Bestandteil der Studiengänge:
Im Wintersemester 2019/20 werden in diesem Modul keine Lehrveranstaltungen angeboten.
Modulverantwortlicher: Prof.Rudolph, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Complexity Theory |
4/2/0 |
english |
Prof. Krötzsch |
THI |
V V U |
Montag Dienstag Mittwoch |
2. 2. 3. |
APB/E008 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Human Reasoning and Computational Logic |
2/2/0 |
english |
Prof. Hölldobler |
KI |
V U |
Mittwoch Mittwoch |
4. 5. |
APB/E005 APB/E005 |
wöch. wöch. |
| Introduction to Formal Concept Analysis |
2/2/0 |
english |
Prof. Rudolph |
KI |
V U |
Montag Montag |
2. 3. |
APB/E005 APB/E005 |
wöch. wöch. |
| Introduction to Non-monotonic Reasoning |
2/2/0 |
english |
Dr. Turhan |
THI |
V U |
Dienstag Donnerstag |
6. 6. |
APB/E005 APB/E005 |
wöch. wöch. |
| Knowledge Graphs |
2/2/0 |
english |
Prof. Krötzsch |
THI |
V U |
Dienstag Dienstag |
3. 5. |
APB/E005 APB/E005 |
wöch. wöch. |
| Problem Solving and Search in AI |
2/1/2 |
english |
Dr. Gaggl |
KI |
V U |
Dienstag Donnerstag |
1. 1. |
APB/E005 APB/E005 |
wöch. wöch. |
Modulverantwortlicher: Prof.Rudolph, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Foundations of Constraint Programming |
1/1/0 |
english |
Prof. Rudolph |
KI |
V U |
Montag Montag |
6. 6. |
APB/E005 APB/E005 |
1. Wo. 2. Wo. |
| Foundations of Logic Programming |
2/1/0 |
english |
Prof. Rudolph |
KI |
V U |
Montag Freitag |
5. 5. |
APB/E005 APB/E005 |
wöch. 2. Wo. |
| Tutorial Logic Programming Engineering |
0/2/0 |
english |
Prof. Baier, Dr. Klüppelholz |
THI |
U |
Dienstag |
4. |
APB/E067 |
wöch. |
Modulverantwortlicher: Fakultät Informatik, INF
Dieses Modul ist Bestandteil der Studiengänge:
| 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.-Ing. Borgwardt |
THI |
P |
ZVZ |
|
AVO |
|
Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Complexity Theory |
4/2/0 |
english |
Prof. Krötzsch |
THI |
V V U |
Dienstag Montag Mittwoch |
2. 2. 3. |
APB/E005 APB/E008 APB/E005 |
wöch. wöch. wöch. |
| Human Reasoning and Computational Logic |
2/2/0 |
english |
Prof. Hölldobler |
KI |
V U |
Mittwoch Mittwoch |
4. 5. |
APB/E005 APB/E005 |
wöch. wöch. |
| Introduction to Formal Concept Analysis |
2/2/0 |
english |
Prof. Rudolph |
KI |
V U |
Montag Montag |
2. 3. |
APB/E005 APB/E005 |
wöch. wöch. |
| Problem Solving and Search in AI |
2/1/2 |
english |
Dr. Gaggl |
KI |
V U |
Dienstag Donnerstag |
1. 1. |
APB/E005 APB/E005 |
wöch. wöch. |
Modulverantwortlicher: Prof.Krötzsch, THI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Knowledge Representation and Reasoning |
0/2/0 |
english |
Prof. Hölldobler |
KI |
U |
Donnerstag |
5. |
APB/E005 |
wöch. |
| Lab Course Modeling and Automated Verification |
0/2/0 |
english |
Prof. Baier |
THI |
P |
Freitag |
1. |
APB/E005 |
wöch. |
| Seminar Selected Topics in Database Theory |
0/2/0 |
english |
Prof. Krötzsch, Dr. Carral |
THI |
U |
Mittwoch |
6. |
APB/E005 |
wöch. |
| Seminar Selected Topics in Logic and Verification |
0/2/0 |
english |
Prof. Baier |
THI |
U |
Donnerstag |
1. |
AVO |
wöch. |
| Seminar Selected Topics of Computational Logic |
0/2/0 |
english |
Prof. Rudolph, Dr. Gaggl |
KI |
U |
ZVZ |
|
AVO |
|
| Seminar Theoretical Computer Science |
0/2/0 |
english |
Prof. Baader, Dr. Turhan |
THI |
U |
Montag |
5. |
AVO |
wöch. |
Modulverantwortlicher: Prof.Baader, THI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Complexity Theory |
4/2/0 |
english |
Prof. Krötzsch |
THI |
V V U |
Montag Dienstag Mittwoch |
2. 2. 3. |
APB/E008 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Introduction to Non-monotonic Reasoning |
2/2/0 |
english |
Dr. Turhan |
THI |
V U |
Dienstag Donnerstag |
6. 6. |
APB/E005 APB/E005 |
wöch. wöch. |
| Knowledge Graphs |
2/2/0 |
english |
Prof. Krötzsch |
THI |
V U |
Dienstag Dienstag |
3. 5. |
APB/E005 APB/E005 |
wöch. wöch. |
| Model Checking |
4/4/0 |
english |
Prof. Baier, Dr. Klüppelholz |
THI |
V V U U |
Freitag Donnerstag Freitag Donnerstag |
2. 2. 3. 3. |
APB/E005 APB/E005 APB/E005 APB/E005 |
wöch. 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: