| 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. Baier, Dr. Peters |
V V U U U U U U U U U U U U |
Montag Donnerstag Montag Montag Dienstag Dienstag Mittwoch Mittwoch Donnerstag Freitag Freitag Freitag Freitag Freitag |
3. 4. 1. 6. 1. 2. 1. 6. 1. 1. 2. 3. 3. 5. |
HSZ/0002 HSZ/0003 INF/E008 WIL/C104 INF/E008 INF/E001 INF/E001 INF/E009 INF/E008 BZW/A152 INF/E008 BAR/0218 INF/E006 INF/E010 |
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. |
| Komplexpraktikum Modellierung und quantitative Systemanalyse I |
INF-04-KP, INF-04-P, INF-MA-PR, IST-05-KP |
0/0/4 |
deutsch |
Prof. Baier, Dr. Klüppelholz |
P |
ZVZ |
AVO |
||
| Komplexpraktikum Modellierung und quantitative Systemanalyse II |
INF-MA-PR, INF-PM-FPG |
0/0/8 |
deutsch |
Prof. Baier, Dr. Klüppelholz |
P |
ZVZ |
AVO |
||
| Lab Course Modeling and Automated Verification |
MCL-PCS |
0/2/0 |
english |
Prof. Baier, Dr. Peters, Dr. Klüppelholz |
U |
Freitag |
4. |
INF/E005 |
wöch. |
| Logic Programming Engineering |
MCL-LCP |
0/2/0 |
english |
Prof. Baier, Dr. Klüppelholz |
U |
Montag |
2. |
INF/E005 |
wöch. |
| Project Group Model Checking |
MCL-P |
0/0/4 |
english |
Prof. Baier, Dr. Klüppelholz |
P |
ZVZ |
AVO |
||
| Proseminar Theoretische Informatik |
INF-B-610, INF-D-520 |
0/2/0 |
deutsch |
Prof. Baier, Dr. Peters, Dr. Klüppelholz |
U |
ZVZ |
AVO |
||
| Seminar Model Checking |
INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS |
0/2/0 |
english |
Prof. Baier, Dr. Peters, Dr. Klüppelholz |
U |
Montag |
3. |
INF/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 |
Prof. Baader, Dr. Turhan |
V V U |
Dienstag Donnerstag Mittwoch |
6. 6. 5. |
INF/E005 INF/E005 INF/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 |
Prof. Baader, Dr. Sturm |
V U U |
Dienstag Mittwoch Mittwoch |
2. 3. 4. |
HSZ/0403 INF/E008 INF/E008 |
wöch. wöch. wöch. |
| Introduction to Complexity Theory |
INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-PI, MCL-TCSL |
2/1/0 |
english |
Prof. Baader, Dr. Penaloza |
V U |
Dienstag Montag |
2. 4. |
INF/E005 INF/E005 |
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 |
Prof. Baader, Dr. Penaloza |
P |
ZVZ |
AVO |
||
| Project Group Theoretical Computer Science |
MCL-P |
0/0/4 |
english |
Prof. Baader, Dr. Penaloza |
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 |
AVO |
||
| Seminar Advanced Topics in Term Rewriting |
INF-04-HS, INF-AQUA, INF-D-940, MCL-PI, MCL-TCSL |
0/2/0 |
english |
Prof. Baader |
U |
Freitag |
3. |
INF/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 |
Freitag Montag Montag Montag Dienstag Dienstag Dienstag Dienstag Mittwoch Mittwoch Mittwoch Donnerstag Donnerstag Donnerstag Donnerstag Donnerstag Freitag Freitag Freitag |
2. 2. 4. 6. 1. 2. 3. 6. 1. 4. 6. 1. 3. 4. 5. 6. 1. 4. 5. |
HSZ/AUDI INF/E008 SE2/0122 POT/0351 ASB/0114 INF/E008 SCH/A252 WIL/C106 PHY/C118 INF/E009 INF/E023 WIL/C205 BZW/B101 GÖR/0127 INF/E008 WIL/C102 WIL/C106 POT/0106 WIL/C104 |
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. |
INF/E009 INF/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. |
INF/E010 INF/E007 INF/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 |
||
| Proseminar Natural Language Processing |
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 |
INF-04-FG-TP, INF-04-HS, INF-AQUA, INF-D-940 |
0/2/0 |
deutsch |
Prof. Vogler |
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: