| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| 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, IST-05-KP |
0/0/4 |
deutsch |
Prof. Baier |
P |
ZVZ |
AVO |
||
| Komplexpraktikum Modellierung und quantitative Systemanalyse II |
INF-MA-PR |
0/0/8 |
deutsch |
Prof. Baier |
P |
ZVZ |
AVO |
||
| Lab Course Modeling and Automated Verification |
MCL-PCS |
0/2/0 |
english |
Prof. Baier |
U |
ZVZ |
AVO |
||
| Logic Programming Engineering |
MCL-LCP |
0/2/0 |
english |
Prof. Baier, Dr. Klüppelholz |
U |
ZVZ |
AVO |
||
| Model Checking |
INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL |
4/4/0 |
english |
Prof. Baier, Dr. Klüppelholz |
U U |
Donnerstag Freitag |
2., 3. 2., 3. |
APB/E005 APB/E005 |
wöch. wöch. |
| Project Group Model Checking |
MCL-P |
0/0/4 |
english |
Prof. Baier |
P |
ZVZ |
AVO |
||
| Proseminar Theoretische Informatik |
INF-B-610, INF-D-520 |
0/2/0 |
deutsch |
Prof. Baier |
U |
ZVZ |
AVO |
||
| Seminar Selected Topics in Logic and Verification |
INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS |
0/2/0 |
english |
Prof. Baier |
U |
Donnerstag |
1. |
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-PI, MCL-TCSL |
4/2/0 |
english |
Dr. Turhan |
V V U |
Dienstag Donnerstag Montag |
6. 6. 3. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Forschungsprojekt Theoretical Computer Science |
INF-PM-FPG |
8P/PB |
deutsch |
Prof. Baader |
P |
ZVZ |
AVO |
||
| Informatik für Biologen |
INF-LE-BIO |
2/1/0 |
deutsch |
Dr. Sturm |
V V V |
Dienstag Mittwoch Mittwoch |
2. 3. 4. |
HSZ/0403 APB/E008 APB/E008 |
wöch. wöch. wöch. |
| Komplexpraktikum Theoretische Informatik |
INF-04-KP, INF-MA-PR, IST-05-KP, MINF-04-KP-FG2 |
0/0/4, 0/0/8 |
deutsch |
Dr. Borchmann |
P |
ZVZ |
AVO |
||
| 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 |
Dr. Sturm |
U |
ZVZ |
AVO |
||
| Seminar Theoretical Computer Science |
INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS, MCL-PI, MCL-TCSL |
0/2/0 |
english |
Dr. Turhan |
U |
Montag |
5. |
APB/E005 |
wöch. |
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Algorithmen und Datenstrukturen |
INF-B-210, INF-D-210, INF-LE-EUI, INF-LE-GEO, INF-LE-MA, INF-LE-PHY, INF-SEGY-INF-02, INF-SEMS-INF-02, IST-05-PF-GS, MATH-BA-INFA, MATH-MA-INFADS |
2/2/0 |
deutsch |
Prof. Vogler |
V U U U U U U U U U U U U U U U U U U U |
Freitag Montag Montag Montag Montag Dienstag Dienstag Dienstag Dienstag Dienstag Dienstag Mittwoch Mittwoch Mittwoch Donnerstag Donnerstag Donnerstag Donnerstag Freitag Freitag |
2. 5. 6. 6. 6. 1. 1. 1. 3. 6. 6. 1. 1. 6. 1. 1. 2. 6. 1. 5. |
HSZ/AUDI CHE/0183 HSZ/0103 HSZ/0204 HSZ/0405 CHE/0184 HSZ/0204 HSZ/0405 APB/E006 HSZ/0105 HSZ/0405 CHE/0184 HSZ/0405 HSZ/0301 HSZ/0301 HSZ/0405 APB/E006 HSZ/0204 CHE/0183 SE2/0211 |
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. wöch. wöch. wöch. wöch. wöch. wöch. |
| Doktorandenseminar Grundlagen der Programmierung |
FAK-INF-FF |
0/2/0 |
deutsch |
Prof. Vogler |
U |
ZVZ |
AVO |
||
| Formale Übersetzungsmodelle |
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 |
Montag Donnerstag |
4. 5. |
APB/E009 APB/E009 |
wöch. wöch. |
| Forschungsprojekt Verarbeitung natürlicher Sprachen |
INF-PM-FPG |
8P/PB |
deutsch |
Prof. Vogler |
P |
ZVZ |
AVO |
||
| Maschinelles Übersetzen natürlicher Sprachen |
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS2, INF-BAS6, INF-VERT2, INF-VERT6 |
4/2/0 |
deutsch |
Prof. Vogler |
V V U |
Montag Donnerstag Donnerstag |
3. 2. 4. |
APB/E010 APB/E007 APB/E009 |
wöch. wöch. wöch. |
| Master-Praktikum Verarbeitung natürlicher Sprachen I |
INF-04-KP, INF-MA-PR |
0/0/4 |
deutsch |
Prof. Vogler |
P |
ZVZ |
AVO |
||
| Master-Praktikum Verarbeitung natürlicher Sprachen II |
INF-MA-PR |
0/0/8 |
deutsch |
Prof. Vogler |
P |
ZVZ |
AVO |
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Formale Systeme |
INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS |
4/2/0 |
deutsch |
Prof. Krötzsch |
V V U U U U U U U U U U U U |
Montag Donnerstag Montag Montag Dienstag Dienstag Mittwoch Mittwoch Donnerstag Donnerstag Freitag Freitag Freitag Freitag |
3. 4. 1. 5. 1. 2. 1. 6. 1. 6. 2. 3. 3. 5. |
HSZ/0002 HSZ/0003 APB/E007 APB/E010 APB/E008 APB/E001 APB/E001 APB/E009 APB/E008 APB/E008 APB/E008 APB/E006 HSZ/0101 APB/E009 |
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. |
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: