Studienablaufplan für Computational Logic
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Advanced Logics |
4/2/0 |
english |
Prof. Baier |
THI |
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Deduction Systems |
1/1/0 |
english |
Prof. Krötzsch |
THI |
| Logic-based Ontology Engineering |
2/2/0 |
english |
Dr.-Ing. Borgwardt |
THI |
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Foundations for Machine Learning |
4/2/0 |
english |
PhD Stefanus |
KI |
| 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 Knowledge-Based Systems |
0/0/4 |
english |
Prof. Krötzsch |
THI |
| Project Group Model Checking |
0/0/4 |
english |
Prof. Baier |
THI |
| Project Group Theoretical Computer Science |
0/0/4 |
english |
Prof. Baader, Dr. Turhan |
THI |
| 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 |
| Seminar Existential Rules |
0/2/0 |
english |
Prof. Krötzsch |
THI |
| 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 |
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Conditional Reasoning |
2/2/0 |
english |
Prof. Hölldobler |
KI |
| Foundations for Machine Learning |
4/2/0 |
english |
PhD Stefanus |
KI |
| Semantic Computing |
2/2/0 |
english |
Dr. phil. Gromann |
KI |
| Term Rewriting Systems |
4/2/0 |
english |
Prof. Baader |
THI |
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Conditional Reasoning |
2/2/0 |
english |
Prof. Hölldobler |
KI |
| Database Theory |
4/2/0 |
english |
Prof. Krötzsch |
THI |
| Semantic Computing |
2/2/0 |
english |
Dr. phil. Gromann |
KI |
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Conditional Reasoning |
2/2/0 |
english |
Prof. Hölldobler |
KI |
| Database Theory |
4/2/0 |
english |
Prof. Krötzsch |
THI |
| Term Rewriting Systems |
4/2/0 |
english |
Prof. Baader |
THI |
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Database Theory |
4/2/0 |
english |
Prof. Krötzsch |
THI |
| Seminar Existential Rules |
0/2/0 |
english |
Prof. Krötzsch |
THI |
| Term Rewriting Systems |
4/2/0 |
english |
Prof. Baader |
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: