Studienablaufplan für Computational Logic
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Logic |
2/2/0 |
english |
Prof. Kurfess, Prof. Hölldobler |
KI |
V V U U |
Mittwoch Donnerstag Montag Dienstag |
4. 4. 5. 3. |
INF/E005 INF/E005 INF/E005 INF/E005 |
1. Wo. 1. Wo. 1. Wo. 1. Wo. |
| Science of Computational Logic |
2/2/0 |
english |
Prof. Rudolph |
KI |
V V U U |
Mittwoch Donnerstag Montag Dienstag |
4. 4. 5. 3. |
INF/E005 INF/E005 INF/E005 INF/E005 |
2. Wo. 2. Wo. 2. Wo. 2. Wo. |
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Foundations of Constraint Programming |
1/1/0 |
english |
Prof. Rudolph |
KI |
V |
Donnerstag |
3. |
INF/E005 |
wöch. |
| Foundations of Logic Programming |
2/1/0 |
english |
Prof. Rudolph |
KI |
U U |
Montag Mittwoch |
4. 3. |
INF/E005 INF/E005 |
wöch. wöch. |
| Logic Programming Engineering |
0/2/0 |
english |
Prof. Baier, Dr. Klüppelholz |
THI |
U |
Montag |
2. |
INF/E005 |
wöch. |
| 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, Dr. Klüppelholz |
THI |
P |
ZVZ |
AVO |
||
| Project Group Semantic Search |
0/0/4 |
english |
Prof. Schroeder |
BIOTEC |
P |
ZVZ |
AVO |
||
| Project Group Theoretical Computer Science |
0/0/4 |
english |
Prof. Baader, Dr. Penaloza |
THI |
P |
ZVZ |
AVO |
| 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. 3. |
INF/E023 INF/E023 |
wöch. wöch. |
| Distributed Systems |
2/2/0 |
english |
Prof. Schill, Dr. Springer |
SYA |
V U |
Donnerstag Dienstag |
6. 2. |
JAN/0027 INF/E023 |
wöch. wöch. |
| Mobile Communication and Mobile Computing |
2/0/0 |
english |
Prof. Schill, Dr. Dargie |
SYA |
V |
Donnerstag |
4. |
INF/E023 |
wöch. |
| Security and Cryptography I |
2/2/0 |
english |
Prof. Strufe, Dr. Köpsell |
SYA |
V |
Donnerstag |
2., 3. |
INF/E023 |
wöch. |
| Transactional Information Systems |
2/2/0 |
english |
Prof. Lehner, PD Dr. Behrend |
SYA |
V U |
Dienstag Mittwoch |
4. 5. |
INF/E001 AVO |
wöch. wöch. |
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Introduction to Formal Concept Analysis |
2/2/0 |
english |
Prof. Rudolph |
KI |
V U |
Donnerstag Mittwoch |
2. 2. |
INF/E005 INF/E005 |
wöch. wöch. |
| Knowledge Representation and Reasoning |
0/2/0 |
english |
Prof. Hölldobler |
KI |
U |
Mittwoch |
6. |
INF/E005 |
wöch. |
| Seminar Abstract Argumentation |
0/2/0 |
english |
Prof. Rudolph, Dr. Gaggl |
KI |
U |
Freitag |
2. |
INF/E005 |
wöch. |
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Knowledge Representation and Reasoning |
0/2/0 |
english |
Prof. Hölldobler |
KI |
U |
Mittwoch |
6. |
INF/E005 |
wöch. |
| Lab Course Modeling and Automated Verification |
0/2/0 |
english |
Prof. Baier, Dr. Peters, Dr. Klüppelholz |
THI |
U |
Freitag |
4. |
INF/E005 |
wöch. |
| Seminar Abstract Argumentation |
0/2/0 |
english |
Prof. Rudolph, Dr. Gaggl |
KI |
U |
Freitag |
2. |
INF/E005 |
wöch. |
| Seminar Model Checking |
0/2/0 |
english |
Prof. Baier, Dr. Peters, Dr. Klüppelholz |
THI |
U |
Montag |
3. |
INF/E005 |
wöch. |
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Description Logic |
4/2/0 |
english |
Prof. Baader, Dr. Turhan |
THI |
V V U |
Dienstag Donnerstag Mittwoch |
6. 6. 5. |
INF/E005 INF/E005 INF/E005 |
wöch. wöch. wöch. |
| Introduction to Complexity Theory |
2/1/0 |
english |
Prof. Baader, Dr. Penaloza |
THI |
V U |
Dienstag Montag |
2. 4. |
INF/E005 INF/E005 |
wöch. wöch. |
| Introduction to Formal Concept Analysis |
2/2/0 |
english |
Prof. Rudolph |
KI |
V U |
Donnerstag Mittwoch |
2. 2. |
INF/E005 INF/E005 |
wöch. wöch. |
| Knowledge Representation and Reasoning |
0/2/0 |
english |
Prof. Hölldobler |
KI |
U |
Mittwoch |
6. |
INF/E005 |
wöch. |
| Seminar Theoretical Computer Science |
0/2/0 |
english |
Prof. Baader, Dr. Lippmann |
THI |
U |
ZVZ |
AVO |
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Description Logic |
4/2/0 |
english |
Prof. Baader, Dr. Turhan |
THI |
V V U |
Dienstag Donnerstag Mittwoch |
6. 6. 5. |
INF/E005 INF/E005 INF/E005 |
wöch. wöch. wöch. |
| Introduction to Complexity Theory |
2/1/0 |
english |
Prof. Baader, Dr. Penaloza |
THI |
V U |
Dienstag Montag |
2. 4. |
INF/E005 INF/E005 |
wöch. wöch. |
| Seminar Theoretical Computer Science |
0/2/0 |
english |
Prof. Baader, Dr. Lippmann |
THI |
U |
ZVZ |
AVO |
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: