Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Term Rewriting Systems |
4/2/0 |
english |
Prof. Baader |
THI |
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.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Academic Skills in Computer Science |
2/2/0 |
english |
Prof. Hölldobler |
KI |
Modulverantwortlicher: Fakultät Informatik, INF
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Component Based Software Engineering |
2/2/0 |
english |
Dr. Götz |
SMT |
| Foundations of Concurrent and Distributed Systems |
4/0/0 |
english |
Prof. Fetzer |
SYA |
| Internet and Web Applications |
2/2/0 |
english |
Prof. Schill |
SYA |
| Security and Cryptography II |
2/2/0 |
english |
Prof. Strufe, Dr. Köpsell |
SYA |
| Wireless Sensor Networks |
2/2/0 |
english |
Prof. Schill, Dr. Dargie |
SYA |
Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
Im Sommersemester 2018 werden in diesem Modul keine Lehrveranstaltungen angeboten.
Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
Im Sommersemester 2018 werden in diesem Modul keine Lehrveranstaltungen angeboten.
Modulverantwortlicher: Dr.Schröder, MATH
Dieses Modul ist Bestandteil der Studiengänge:
| 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 |
| Semantic Search: Algorithms and Applications |
2/2/0 |
english |
Prof. Schroeder |
BIOTEC |
Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
| 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 |
| Knowledge Representation and Reasoning |
0/2/0 |
english |
Prof. Hölldobler |
KI |
| Seminar Existential Rules |
0/2/0 |
english |
Prof. Krötzsch |
THI |
Modulverantwortlicher: Prof.Rudolph, KI
Dieses Modul ist Bestandteil der Studiengänge:
Im Sommersemester 2018 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 Knowledge-Based Systems |
0/0/4 |
english |
Prof. Krötzsch |
THI |
| Project Group Model Checking |
0/0/4 |
english |
Prof. Baier |
THI |
| Project Group Semantic Search |
0/0/4 |
english |
Prof. Schroeder |
BIOTEC |
| Project Group Theoretical Computer Science |
0/0/4 |
english |
Prof. Baader, Dr. Turhan |
THI |
Modulverantwortlicher: Fakultät Informatik, INF
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Academic Skills in Computer Science |
2/2/0 |
english |
Prof. Hölldobler |
KI |
| 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 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.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
| 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 |
| Knowledge Representation and Reasoning |
0/2/0 |
english |
Prof. Hölldobler |
KI |
| Seminar Existential Rules |
0/2/0 |
english |
Prof. Krötzsch |
THI |
| Seminar Theoretical Computer Science |
0/2/0 |
english |
Prof. Baader, Dr. Turhan |
THI |
| Term Rewriting Systems |
4/2/0 |
english |
Prof. Baader |
THI |
Modulverantwortlicher: Prof.Hölldobler, KI
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 |
| Seminar Selected Topics in Logic and Verification |
0/2/0 |
english |
Prof. Baier |
THI |
Modulverantwortlicher: Prof.Baader, THI
Dieses Modul ist Bestandteil der Studiengänge:
| 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 |
| Seminar Theoretical Computer Science |
0/2/0 |
english |
Prof. Baader, Dr. Turhan |
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: