| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Advanced Logics |
INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL |
4/2/0 |
english |
Prof. Baier |
V V U |
Donnerstag Donnerstag Freitag |
2. 3. 2. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Doktorandenseminar Advances in Probabilistic Model Checking |
FAK-INF-FF |
0/2/0 |
english |
Prof. Baier |
U |
ZVZ |
|
AVO |
|
| Forschungsprojekt Formale Methoden |
INF-PM-FPG |
8P/PB |
deutsch, english |
Prof. Baier |
P |
ZVZ |
|
AVO |
|
| Komplexpraktikum Modellierung und quantitative Systemanalyse I |
INF-04-KP, INF-04-P, INF-MA-PR, INF-PM-FPG, IST-05-KP |
0/0/4 |
deutsch |
Prof. Baier |
P |
ZVZ |
|
AVO |
|
| Komplexpraktikum Modellierung und quantitative Systemanalyse II |
INF-MA-PR, INF-PM-FPG |
0/0/8 |
deutsch |
Prof. Baier |
P |
ZVZ |
|
AVO |
|
| Lab Course Modeling and Automated Verification |
MCL-PS |
0/2/0 |
english |
Prof. Baier |
P |
Freitag |
5. |
AVO |
wöch. |
| Project Group Model Checking |
MCL-P |
0/0/4 |
english |
Prof. Baier |
P |
ZVZ |
|
AVO |
|
| Proseminar Theoretische Informatik |
INF-B-510, INF-B-520, INF-B-610, INF-D-520 |
0/2/0 |
deutsch |
Prof. Baier |
U |
Freitag |
4. |
APB/E010 |
wöch. |
| Seminar Selected Topics in Logic and Verification |
INF-04-HS, INF-AQUA, INF-D-940, MCL-PS |
0/2/0 |
english |
Prof. Baier |
U |
Freitag |
3. |
APB/E005 |
wöch. |
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Description Logic |
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AI, MCL-PI, MCL-TCSL |
4/2/0 |
english |
Prof. Baader |
V V V |
Dienstag Mittwoch Donnerstag |
6. 5. 6. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Einführung in die Informatik |
D-WW-EINF, INF-BAWP-INF-04, INF-LE-WW, INF-SEBS-INF-04, INF-SEGY-INF-04, INF-SEMS-INF-04 |
2/2/0 |
deutsch |
Dr. Turhan |
V U |
Donnerstag Montag |
3. 2. |
APB/E023 APB/E023 |
wöch. wöch. |
| Forschungsprojekt Theoretical Computer Science |
INF-PM-FPG |
8P/PB |
deutsch |
Prof. Baader |
P |
ZVZ |
|
AVO |
|
| Komplexpraktikum Theoretische Informatik |
INF-04-KP, INF-MA-PR, IST-05-KP, MINF-04-KP-FG2 |
0/0/4, 0/0/8 |
deutsch |
Prof. Baader, Dr.-Ing. Borgwardt |
P |
ZVZ |
|
AVO |
|
| Logic-based Ontology Engineering |
INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, MCL-ILS |
2/2/0 |
english |
Dr.-Ing. Borgwardt |
V U |
Mittwoch Donnerstag |
2. 4. |
APB/E005 APB/E005 |
wöch. wöch. |
| Project Group Theoretical Computer Science |
MCL-P |
0/0/4 |
english |
Prof. Baader, Dr. Turhan |
P |
ZVZ |
|
AVO |
|
| Proseminar Ausgewählte Themen der Theoretischen Informatik |
INF-B-510, INF-B-520, INF-B-610, INF-D-520 |
0/2/0 |
deutsch |
Prof. Baader, Dr. Sturm |
U |
ZVZ |
ZVZ |
APB/E008 |
wöch. |
| Seminar Theoretical Computer Science |
INF-04-HS, INF-AQUA, INF-D-940, MCL-PS |
0/2/0 |
english |
Prof. Baader, Dr. Turhan |
U |
Freitag |
4. |
APB/E005 |
wöch. |
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Formale Baumsprachen |
INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS2, INF-BAS6, INF-PM-FOR, INF-VERT2, INF-VERT6 |
2/2/0 |
deutsch |
Prof. Vogler |
V U |
Donnerstag Mittwoch |
4. 2. |
APB/E010 APB/E010 |
wöch. wöch. |
| Forschungsprojekt Verarbeitung natürlicher Sprachen |
INF-PM-FPG |
8P/PB |
deutsch |
Prof. Vogler |
P |
ZVZ |
|
AVO |
|
| Freitagsseminar |
FAK-INF-FF |
0/2/0 |
deutsch |
Prof. Vogler |
U |
ZVZ |
|
AVO |
|
| Master-Praktikum Verarbeitung natürlicher Sprachen |
INF-MA-PR |
0/0/8 |
deutsch |
Prof. Vogler |
P |
ZVZ |
|
AVO |
|
| Parsing von natürlichen Sprachen |
INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS2, INF-BAS6, INF-PM-FOR, INF-VERT2, INF-VERT6 |
4/2/0 |
deutsch |
Prof. Vogler |
V V U |
Montag Donnerstag Mittwoch |
2. 2. 4. |
APB/E006 APB/E007 APB/E007 |
wöch. wöch. wöch. |
| Praktikum Verarbeitung natürlicher Sprachen |
INF-04-KP, INF-B-510, INF-B-520, INF-D-940, INF-MA-PR |
0/0/4 |
deutsch |
Prof. Vogler |
P |
ZVZ |
|
AVO |
|
| Programmierung |
INF-B-240, INF-D-230, INF-LE-EUI, INF-LE-MA, INF-LE-PHY, INF-SEGY-INF-05, INF-SEMS-INF-05, IST-05-PF-GS, MATH-BA-INFB, MATH-MA-INFPRG |
2/2/0 |
deutsch |
Prof. Vogler |
V U U U U U U U U U U U U U |
Freitag Montag Dienstag Dienstag Dienstag Mittwoch Mittwoch Mittwoch Mittwoch Mittwoch Donnerstag Donnerstag Freitag Freitag |
2. 4. 1. 2. 6. 1. 2. 2. 3. 4. 1. 3. 4. 6. |
HSZ/0003 APB/E006 HSZ/0E05 APB/E008 APB/E023 HSZ/0301 APB/E009 VMB/0E02 APB/E008 APB/E006 HSZ/0105 APB/E006 HSZ/0405 WIL/A221 |
wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. |
| Seminar Natural Language Processing I |
INF-04-PS, INF-B-510, INF-B-520, INF-B-610, INF-D-520 |
0/2/0 |
deutsch |
Prof. Vogler |
U |
ZVZ |
|
AVO |
|
| Seminar Natural Language Processing II |
INF-04-FG-TP, INF-04-HS, INF-AQUA, INF-D-940 |
0/2/0 |
deutsch |
Prof. Vogler |
U |
ZVZ |
|
AVO |
|
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Academic Skills in Computer Science |
INF-04-FG-SWT, INF-AQUA, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-BAS3, INF-VERT3, MCL-CS |
2/2/0 |
english |
Prof. Krötzsch |
V U |
Dienstag Dienstag |
3. 5. |
APB/E005 APB/E001 |
wöch. wöch. |
| Database Theory |
INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, MCL-KR, MCL-PI, MCL-TCSL |
4/2/0 |
english |
Prof. Krötzsch |
V V U |
Dienstag Freitag Mittwoch |
2. 5. 3. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Forschungsprojekt Wissensbasierte Systeme |
INF-PM-FPA, INF-PM-FPG |
0/0/8 |
deutsch |
Prof. Krötzsch |
P |
ZVZ |
|
AVO |
|
| Forschungsseminar Wissensbasierte Systeme |
INF-AQUA, INF-PM-FOR |
0/2/0 |
english |
Prof. Krötzsch |
U |
ZVZ |
|
AVO |
|
| Komplexpraktikum Wissensbasierte Systeme |
INF-B-510, INF-B-520, INF-MA-PR |
0/0/4, 0/0/8 |
deutsch |
Prof. Krötzsch |
P |
ZVZ |
|
AVO |
|
| Project Group Knowledge-Based Systems |
MCL-P |
0/0/4 |
english |
Prof. Krötzsch |
P |
ZVZ |
|
AVO |
|
| Seminar Existential Rules |
INF-AQUA, INF-D-940, INF-PM-FOR, MCL-PS |
0/2/0 |
english |
Prof. Krötzsch |
U |
Dienstag |
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: