Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Description Logic |
4/2/0 |
english |
Dr. Turhan |
THI |
| Machine Learning 2 |
2/2/0 |
english |
Prof. Dr. Andres |
KI |
| Problem Solving and Search in AI |
2/2/2 |
english |
Dr. Gaggl |
KI |
Modulverantwortlicher: Prof.Baier, THI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Advanced Logics |
4/2/0 |
english |
Prof. Baier |
THI |
Modulverantwortlicher: Prof.Krötzsch, THI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Academic Skills in Computer Science |
2/2/0 |
english |
Prof. Rudolph |
KI |
| German Course |
0/2/0 |
deutsch |
|
|
Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
Im Sommersemester 2020 werden in diesem Modul keine Lehrveranstaltungen angeboten.
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 |
|---|---|---|---|---|
| Wireless Sensor Networks |
2/2/0 |
english |
Dr. Dargie |
SMT |
Modulverantwortlicher: Prof.Baader, THI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Deduction Systems |
1/1/0 |
english |
Prof. Rudolph |
KI |
| Logic-based Ontology Engineering |
2/2/0 |
english |
Dr.-Ing. Borgwardt |
THI |
Modulverantwortlicher: Prof.Rudolph, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Database Theory |
4/2/0 |
english |
Dr. Carral |
THI |
| KRR-Reading Class |
2/2/0 |
english |
Prof. Hölldobler |
KI |
| Parameterized Algorithms and Implementations for SAT and Generalizations |
2/1/1 |
english |
Dr. Fichte |
KI |
| Problem Solving and Search in AI |
2/2/2 |
english |
Dr. Gaggl |
KI |
Modulverantwortlicher: Prof.Rudolph, KI
Dieses Modul ist Bestandteil der Studiengänge:
Im Sommersemester 2020 werden in diesem Modul keine Lehrveranstaltungen angeboten.
Modulverantwortlicher: Fakultät Informatik, INF
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Project Group Computational Logic |
0/0/4 |
english |
Prof. Rudolph |
KI |
| Project Group Knowledge Representation and Reasoning |
0/0/4 |
english |
Prof. Hölldobler |
KI |
| Project Group Model Checking |
0/0/4 |
english |
Prof. Baier |
THI |
| Project Group Theoretical Computer Science |
0/0/4 |
english |
Prof. Baader, Dr.-Ing. Borgwardt |
THI |
Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Database Theory |
4/2/0 |
english |
Dr. Carral |
THI |
| Description Logic |
4/2/0 |
english |
Dr. Turhan |
THI |
| KRR-Reading Class |
2/2/0 |
english |
Prof. Hölldobler |
KI |
| Parameterized Algorithms and Implementations for SAT and Generalizations |
2/1/1 |
english |
Dr. Fichte |
KI |
| Problem Solving and Search in AI |
2/2/2 |
english |
Dr. Gaggl |
KI |
Modulverantwortlicher: Prof.Krötzsch, THI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Knowledge Representation and Reasoning |
0/2/0 |
english |
Prof. Hölldobler |
KI |
| Lab Course Modeling and Automated Verification |
0/2/0 |
english |
Prof. Baier |
THI |
| Logical Modeling |
0/2/0 |
english |
Prof. Rudolph |
KI |
| Seminar Selected Topics in Logic and Verification |
0/2/0 |
english |
Prof. Baier |
THI |
| Seminar Theoretical Computer Science |
0/2/0 |
english |
Prof. Baader, Dr. Turhan |
THI |
Modulverantwortlicher: Prof.Baader, THI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Database Theory |
4/2/0 |
english |
Dr. Carral |
THI |
| Description Logic |
4/2/0 |
english |
Dr. Turhan |
THI |
| Probabilistic Model Checking |
1/1/0 |
english |
Dr. Klüppelholz |
THI |
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: