Modulverantwortlicher: Prof.Baier, THI
Dieses Modul ist Bestandteil der Studiengänge:
Im Wintersemester 2016/17 werden in diesem Modul keine Lehrveranstaltungen angeboten.
Modulverantwortlicher: Fakultät Informatik, INF
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Design Patterns and Frameworks |
2/2/0 |
english |
Prof. Aßmann, Dr. Götz |
SMT |
V U |
Dienstag Mittwoch |
5. 5. |
APB/E023 GER/0038 |
wöch. wöch. |
| Distributed Systems |
2/2/0 |
english |
Prof. Schill, Dr. Springer, Dr. Braun |
SYA |
V U |
Donnerstag Dienstag |
5. 2. |
APB/E023 APB/E023 |
wöch. wöch. |
| Mobile Communication and Mobile Computing |
2/0/0 |
english |
Prof. Schill, Dr. Springer, Dr. Dargie |
SYA |
V |
Donnerstag |
4. |
APB/E023 |
wöch. |
| Security and Cryptography I |
2/2/0 |
english |
Prof. Strufe, Dr. Köpsell |
SYA |
V |
Donnerstag |
2., 3. |
APB/E023 |
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.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 U |
Montag Dienstag |
4. 5. |
APB/E005 AVO |
wöch. wöch. |
| Science of Computational Logic |
2/2/0 |
english |
Prof. Hölldobler |
KI |
V U |
Donnerstag Donnerstag |
4. 5. |
APB/E005 APB/E005 |
wöch. wöch. |
Modulverantwortlicher: Dr.Schröder, MATH
Dieses Modul ist Bestandteil der Studiengänge:
Im Wintersemester 2016/17 werden in diesem Modul keine Lehrveranstaltungen angeboten.
Modulverantwortlicher: Prof.Rother, 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 Freitag |
5. 4. |
APB/E005 APB/E005 |
wöch. wöch. |
| Introduction to Formal Concept Analysis |
2/2/0 |
english |
Prof. Rudolph |
KI |
V U |
Mittwoch Mittwoch |
6. 2. |
APB/E005 APB/E005 |
wöch. wöch. |
| Knowledge Representation and Reasoning |
0/2/0 |
english |
Prof. Hölldobler |
KI |
U |
Montag |
6. |
APB/E005 |
wöch. |
| Seminar Abstract Argumentation |
0/2/0 |
english |
Prof. Rudolph, Dr. Gaggl |
KI |
U |
Montag |
2. |
APB/E005 |
wöch. |
| Seminar Practical Planning for Angry Birds |
0/2/0 |
english |
Prof. Rudolph |
KI |
U |
ZVZ |
AVO |
Modulverantwortlicher: Prof.Rother, 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 |
Mittwoch Mittwoch |
4. 4. |
APB/E005 APB/E005 |
1. Wo. 2. Wo. |
| Foundations of Logic Programming |
2/1/0 |
english |
Prof. Rudolph |
KI |
V U |
Mittwoch Freitag |
3. 6. |
APB/E005 APB/E005 |
wöch. 1. Wo. |
| Logic Programming Engineering |
0/2/0 |
english |
Prof. Baier, Dr. Klüppelholz |
THI |
U |
ZVZ |
AVO |
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 Model Checking |
0/0/4 |
english |
Prof. Baier |
THI |
P |
ZVZ |
AVO |
||
| Project Group Theoretical Computer Science |
0/0/4 |
english |
Prof. Baader, Dr. Turhan |
THI |
P |
ZVZ |
AVO |
Modulverantwortlicher: Fakultät Informatik, INF
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 |
Montag |
6. |
APB/E005 |
wöch. |
| Lab Course Modeling and Automated Verification |
0/2/0 |
english |
Prof. Baier |
THI |
U |
ZVZ |
AVO |
||
| Seminar Abstract Argumentation |
0/2/0 |
english |
Prof. Rudolph, Dr. Gaggl |
KI |
U |
Montag |
2. |
APB/E005 |
wöch. |
| Seminar Practical Planning for Angry Birds |
0/2/0 |
english |
Prof. Rudolph |
KI |
U |
ZVZ |
AVO |
||
| Seminar Selected Topics in Logic and Verification |
0/2/0 |
english |
Prof. Baier |
THI |
U |
Donnerstag |
1. |
APB/E005 |
wöch. |
| Seminar Theoretical Computer Science |
0/2/0 |
english |
Dr. Turhan |
THI |
U |
Montag |
5. |
APB/E005 |
wöch. |
Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Description Logic |
4/2/0 |
english |
Dr. Turhan |
THI |
V V U |
Dienstag Donnerstag Montag |
6. 6. 3. |
APB/E005 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 Freitag |
5. 4. |
APB/E005 APB/E005 |
wöch. wöch. |
| Introduction to Formal Concept Analysis |
2/2/0 |
english |
Prof. Rudolph |
KI |
V U |
Mittwoch Mittwoch |
6. 2. |
APB/E005 APB/E005 |
wöch. wöch. |
| Knowledge Representation and Reasoning |
0/2/0 |
english |
Prof. Hölldobler |
KI |
U |
Montag |
6. |
APB/E005 |
wöch. |
| Seminar Practical Planning for Angry Birds |
0/2/0 |
english |
Prof. Rudolph |
KI |
U |
ZVZ |
AVO |
||
| Seminar Theoretical Computer Science |
0/2/0 |
english |
Dr. Turhan |
THI |
U |
Montag |
5. |
APB/E005 |
wöch. |
Modulverantwortlicher: Prof.Baader, THI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Description Logic |
4/2/0 |
english |
Dr. Turhan |
THI |
V V U |
Dienstag Donnerstag Montag |
6. 6. 3. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Model Checking |
4/4/0 |
english |
Prof. Baier, Dr. Klüppelholz |
THI |
U U |
Donnerstag Freitag |
2., 3. 2., 3. |
APB/E005 APB/E005 |
wöch. wöch. |
| Seminar Theoretical Computer Science |
0/2/0 |
english |
Dr. Turhan |
THI |
U |
Montag |
5. |
APB/E005 |
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: