| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Theoretische Informatik und Logik |
INF-B-290, INF-D-330 |
4/2/0 |
Prof. Dr. Hölldobler, Prof. Dr. Baier |
KI, ThI |
V V U U U U U U |
Montag Mittwoch Montag Dienstag Mittwoch Mittwoch Mittwoch Freitag |
2. 3. 6. 4. 1. 2. 6. 1. |
GÖR/0226 HSZ/0004 INF/E006 INF/E009 INF/E009 INF/E001 INF/E006 INF/E007 |
wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. |
| Advanced Logic |
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 |
Prof. Dr. Baier |
ThI |
V V U U |
Freitag Freitag Montag Donnerstag |
2. 3. 1. 2. |
INF/E005 INF/E005 INF/E005 INF/E005 |
wöch. wöch. wöch. wöch. |
| Anwendungsforschung Formale Methoden (Praktika und Projektarbeiten) |
INF-PM-FPA |
8P/PB |
Prof. Dr. Baier |
ThI |
V |
ZVZ |
ZVZ |
AVO |
|
| Grundlagenforschung Formale Methoden (Praktika und Projektarbeiten) |
INF-PM-FPG |
8P/PB |
Prof. Dr. Baier |
ThI |
V |
ZVZ |
ZVZ |
AVO |
|
| Komplexpraktikum Model Checking |
INF-04-KP, INF-MA-PR, IST-05-KP |
0/0/4, 0/0/8 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
P |
ZVZ |
ZVZ |
AVO |
|
| Lab Course Modeling and Quantitative System Analysis |
MCL-PCS |
0/0/4 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
P |
ZVZ |
ZVZ |
AVO |
|
| Project Group Model Checking |
MCL-P |
0/0/4 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
V |
Dienstag |
1. |
AVO |
wöch. |
| Proseminar Ausgewählte Themen der Automatentheorie und Logik |
INF-B-610, INF-D-520 |
0/2/0 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
U |
ZVZ |
ZVZ |
AVO |
|
| Seminar Model Checking |
INF-AQUA, INF-D-940, MCL-PCS |
0/2/0 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
U |
ZVZ |
ZVZ |
AVO |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Automata and Logic |
INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-KR, MCL-PI, MCL-TCSL |
4/2/0 |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
V V V |
Dienstag Mittwoch Donnerstag |
6. 5. 6. |
INF/E005 INF/E005 INF/E005 |
wöch. wöch. wöch. |
| Einführung in die Informatik |
FAK-INF-LE |
3/1/0 |
Prof. Dr. Baader |
ThI |
V |
ZVZ |
ZVZ |
AVO |
|
| Einführung in die Theoretische Informatik |
INF-SEBS-INF-04, INF-SEGY-INF-04, INF-SEMS-INF-04 |
3/1/0 |
Prof. Dr. Baader |
ThI |
V |
ZVZ |
ZVZ |
AVO |
|
| Forschungsprojekt Theoretical Computer Science |
INF-PM-FPG |
8P/PB |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
V |
ZVZ |
ZVZ |
AVO |
|
| Funktionale Programmierung und Typtheorie |
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6 |
2/2/0 |
Prof. Dr. Baader, Dr. Sturm |
ThI |
V V |
Mittwoch Donnerstag |
4. 3. |
INF/E001 INF/E006 |
wöch. wöch. |
| Fuzzy Description Logic |
INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, MCL-KR, MCL-TCSL |
2/2/0 |
Prof. Dr. Baader, Dr. Distel |
ThI |
V V |
Montag Freitag |
2. 4. |
INF/E005 INF/E005 |
wöch. wöch. |
| Komplexpraktikum Theoretische Informatik |
INF-04-KP, INF-MA-PR, IST-05-KP |
0/0/4, 0/0/8 |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
P |
ZVZ |
ZVZ |
AVO |
|
| Project Group Theoretical Computer Science |
MCL-P |
0/0/4 |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
P |
ZVZ |
ZVZ |
AVO |
|
| Proseminar Ausgewählte Themen der Theoretischen Informatik |
INF-B-610, INF-D-520 |
0/2/0 |
Prof. Dr. Baader, Dr. Sturm |
ThI |
V |
Montag |
2. |
AVO |
wöch. |
| Seminar Theoretical Computer Science |
INF-AQUA, INF-D-940, MCL-PCS, MCL-PI, MCL-TCSL |
0/2/0 |
Prof. Dr. Baader, Dr. Turhan |
ThI |
U |
ZVZ |
ZVZ |
AVO |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Ergänzungen zum maschinellen Übersetzen natürlicher Sprachen |
INF-04-FG-TP, INF-B-520, INF-BAS6, INF-VERT6 |
2/0/0 |
Prof. Dr. Vogler |
ThI |
V |
Montag |
4. |
INF/E010 |
wöch. |
| Forschungsprojekt Verarbeitung natürlicher Sprachen |
INF-PM-FPG |
8P/PB |
Prof. Dr. Vogler |
ThI |
V |
ZVZ |
ZVZ |
AVO |
|
| Maschinelles Lernen in der Sprachverarbeitung |
INF-04-FG-IS, INF-04-FG-TP, INF-B-520, INF-BAS2, INF-BAS6, INF-PM-FOR, INF-VERT6 |
2/2/0 |
Prof. Dr. Vogler, Dr. Stüber |
ThI |
V U |
Mittwoch Donnerstag |
5. 4. |
INF/E007 INF/E007 |
wöch. wöch. |
| Praktikum Haskell für NLP |
INF-04-KP, INF-B-520, INF-D-940, INF-MA-PR |
0/0/4 |
Prof. Dr. Vogler, Dipl.-Inf. Dietze |
ThI |
P |
Mittwoch |
2., 3. |
INF/E040 |
wöch. |
| Programmierung |
FAK-INF-LE, INF-B-240, INF-D-230, INF-SEGY-INF-05, INF-SEMS-INF-05, IST-05-PF-GS, MATH-BA-INFB, MATH-MA-INFPRG, SWT-PF |
2/2/0 |
Prof. Dr. Vogler |
ThI |
V U U U U U U U U U U U U U U U U U |
Freitag Montag Montag Montag Dienstag Dienstag Dienstag Mittwoch Mittwoch Mittwoch Mittwoch Mittwoch Donnerstag Donnerstag Freitag Freitag Freitag Freitag |
2. 2. 4. 6. 1. 1. 6. 1. 2. 3. 5. 6. 1. 2. 1. 4. 5. 7. |
HSZ/0003 INF/E007 BEY/0118 SE2/0022 INF/E023 SCH/A185 WIL/C205 WIL/C205 SCH/A184 INF/E010 BEY/0098 INF/E009 SE2/0022 SE2/0022 WIL/C106 WIL/C102 INF/E023 WIL/C206 |
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. |
| Weighted Tree Automata |
INF-04-FG-TP, INF-B-520, INF-BAS6, INF-VERT6, MCL-NLPA |
4/2/0 |
Prof. Dr. Vogler |
ThI |
V V V |
Montag Mittwoch Donnerstag |
3. 4. 1. |
INF/E005 INF/E005 INF/E005 |
wöch. wöch. wöch. |