| 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-PM-FOR, 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. |
| Entwurfs- und Analysemethoden für Algorithmen |
INF-04-FG-TP, INF-BAS6 |
2/0/0 |
deutsch |
Prof. Baier, Dr. Klüppelholz |
V |
Mittwoch |
4. |
APB/E009 |
wöch. |
| Forschungsprojekt Formale Methoden |
INF-PM-FPG |
0/0/8 |
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-04-KP, INF-MA-PR, IST-05-KP |
0/0/8 |
deutsch |
Prof. Baier |
P |
ZVZ |
AVO |
||
| Lab Course Modeling and Automated Verification |
MCL-PCS |
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-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-PCS |
0/2/0 |
english |
Prof. Baier |
U |
Freitag |
3. |
APB/E005 |
wöch. |
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Advanced Topics in Complexity Theory |
INF-BAS6, INF-VERT6, MCL-PI, MCL-TCSL |
2/2/0 |
english |
Prof. Baader, Dr. Borchmann |
V V |
Montag Dienstag |
5. 3. |
APB/E005 APB/E005 |
wöch. wöch. |
| Database Theory |
INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-KR, MCL-PI, MCL-TCSL |
2/2/0 |
english |
Dr. Krötzsch |
V U |
Donnerstag Montag |
4. 3. |
APB/E005 APB/E005 |
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 V |
Montag Donnerstag |
2. 3. |
BEY/0098 APB/E023 |
wöch. wöch. |
| Forschungsprojekt Theoretical Computer Science |
INF-PM-FPG |
8P/PB |
deutsch |
Prof. Baader |
P |
ZVZ |
AVO |
||
| Introduction to Automatic Structures |
INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-PI, MCL-TCSL |
2/1/0 |
english |
Dr. Turhan |
V U |
Montag Dienstag |
4. 2. |
APB/E005 APB/E005 |
wöch. 2. Wo. |
| 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 |
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 |
Prof. Baader, Dr. Sturm |
U |
Mittwoch |
6. |
APB/E009 |
wöch. |
| Seminar Theoretical Computer Science |
INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS, MCL-PI, MCL-TCSL |
0/2/0 |
english |
Prof. Baader |
U |
ZVZ |
AVO |
||
| Term Rewriting Systems |
INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-PI, MCL-TCSL |
4/2/0 |
english |
Prof. Baader |
V V U |
Dienstag Donnerstag Mittwoch |
6. 6. 5. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Doktorandenseminar Grundlagen der Programmierung |
FAK-INF-FF |
0/2/0 |
deutsch |
Prof. Vogler |
U |
ZVZ |
AVO |
||
| Ergänzungen zum Maschinellen Übersetzen natürlicher 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 |
2/2/0 |
deutsch |
Prof. Vogler |
V U |
Donnerstag Dienstag |
5. 1. |
APB/E009 APB/E010 |
wöch. wöch. |
| Formale Baumsprachen |
INF-04-FG-IS, 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 Mittwoch |
2. 4. 2. |
APB/E009 APB/E010 APB/E010 |
wöch. wöch. wöch. |
| Forschungsprojekt Verarbeitung natürlicher Sprachen |
INF-PM-FPG |
8P/PB |
deutsch |
Prof. Vogler |
P |
ZVZ |
AVO |
||
| Praktikum Haskell für NLP I |
INF-04-KP, INF-B-510, INF-B-520, INF-D-940, INF-MA-PR |
0/0/4 |
deutsch |
Prof. Vogler |
P |
ZVZ |
AVO |
||
| Praktikum Haskell für NLP II |
INF-MA-PR |
0/0/8 |
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 U U U |
Freitag Montag Montag Dienstag Dienstag Dienstag Dienstag Dienstag Mittwoch Mittwoch Mittwoch Mittwoch Donnerstag Donnerstag Freitag Freitag ZVZ |
2. 2. 6. 1. 2. 6. 6. 6. 1. 3. 4. 5. 1. 1. 1. 4. ZVZ |
HSZ/0003 WIL/A221 HSZ/0301 CHE/0183 PHY/C118 CHE/0183 VMB/0302 WIL/A221 WIL/A221 APB/E006 VMB/0302 VMB/0E02 HSZ/0201 VMB/0302 VMB/0302 HSZ/0301 AVO |
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. |
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: