Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Computer Vision 1 |
2/2/0 |
english |
Dr. rer. nat Guthier |
KI |
| Description Logic |
4/2/0 |
english |
Prof. Baader |
THI |
| Human Reasoning and Computational Logic |
4/2/0 |
english |
Prof. Hölldobler |
KI |
| Introduction to Formal Concept Analysis |
2/2/0 |
english |
Prof. Rudolph |
KI |
Modulverantwortlicher: Prof.Baier, THI
Dieses Modul ist Bestandteil der Studiengänge:
Im Wintersemester 2017/18 werden in diesem Modul keine Lehrveranstaltungen angeboten.
Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| German Course |
0/2/0 |
deutsch |
|
|
Modulverantwortlicher: Fakultät Informatik, INF
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Design Patterns and Frameworks |
2/2/0 |
english |
Prof. Aßmann, Dr. Götz |
SMT |
| Distributed Systems |
2/2/0 |
english |
Dr.-Ing. Hara, Dr. Springer, Dr. Braun |
SYA |
| Mobile Communication and Mobile Computing |
2/0/0 |
english |
Dr. Springer, Dr. Dargie |
SYA |
| Security and Cryptography I |
2/2/0 |
english |
Prof. Strufe, Dr. Köpsell |
SYA |
| Transactional Information Systems |
2/2/0 |
english |
Prof. Lehner |
SYA |
Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Foundations Repetition |
0/2/0 |
english |
Prof. Hölldobler |
KI |
| Logic |
2/2/0 |
english |
Prof. Hölldobler |
KI |
| Science of Computational Logic |
2/2/0 |
english |
Prof. Hölldobler |
KI |
Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
Im Wintersemester 2017/18 werden in diesem Modul keine Lehrveranstaltungen angeboten.
Modulverantwortlicher: Dr.Schröder, MATH
Dieses Modul ist Bestandteil der Studiengänge:
Im Wintersemester 2017/18 werden in diesem Modul keine Lehrveranstaltungen angeboten.
Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Complexity Theory |
4/2/0 |
english |
Prof. Krötzsch |
THI |
| Human Reasoning and Computational Logic |
4/2/0 |
english |
Prof. Hölldobler |
KI |
| Introduction to Formal Concept Analysis |
2/2/0 |
english |
Prof. Rudolph |
KI |
| Introduction to Non-monotonic Reasoning |
2/2/0 |
english |
Dr. Turhan |
THI |
| Knowledge Representation and Reasoning |
0/2/0 |
english |
Prof. Hölldobler |
KI |
| Seminar Practical Planning for Angry Birds |
0/2/0 |
english |
Prof. Rudolph |
KI |
Modulverantwortlicher: Prof.Rudolph, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Foundations of Constraint Programming |
1/1/0 |
english |
Prof. Rudolph |
KI |
| Foundations of Logic Programming |
2/1/0 |
english |
Prof. Rudolph |
KI |
| Tutorial Logic Programming Engineering |
0/2/0 |
english |
Prof. Baier, Dr. Klüppelholz |
THI |
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. Turhan |
THI |
Modulverantwortlicher: Fakultät Informatik, INF
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| German Course |
0/2/0 |
deutsch |
|
|
| 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 Further Topics in Description Logics |
0/2/0 |
english |
Prof. Baader, Dr. Turhan |
THI |
| Seminar Practical Planning for Angry Birds |
0/2/0 |
english |
Prof. Rudolph |
KI |
| Seminar Selected Topics in Logic and Verification |
0/2/0 |
english |
Prof. Baier |
THI |
Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Complexity Theory |
4/2/0 |
english |
Prof. Krötzsch |
THI |
| Description Logic |
4/2/0 |
english |
Prof. Baader |
THI |
| Human Reasoning and Computational Logic |
4/2/0 |
english |
Prof. Hölldobler |
KI |
| Introduction to Formal Concept Analysis |
2/2/0 |
english |
Prof. Rudolph |
KI |
| Knowledge Representation and Reasoning |
0/2/0 |
english |
Prof. Hölldobler |
KI |
| Seminar Further Topics in Description Logics |
0/2/0 |
english |
Prof. Baader, Dr. Turhan |
THI |
| Seminar Practical Planning for Angry Birds |
0/2/0 |
english |
Prof. Rudolph |
KI |
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 Practical Planning for Angry Birds |
0/2/0 |
english |
Prof. Rudolph |
KI |
| 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 |
|---|---|---|---|---|
| Complexity Theory |
4/2/0 |
english |
Prof. Krötzsch |
THI |
| Description Logic |
4/2/0 |
english |
Prof. Baader |
THI |
| Introduction to Non-monotonic Reasoning |
2/2/0 |
english |
Dr. Turhan |
THI |
| Model Checking |
4/4/0 |
english |
Prof. Baier, Dr. Klüppelholz |
THI |
| Seminar Further Topics in Description Logics |
0/2/0 |
english |
Prof. Baader, Dr. Turhan |
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: