| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
|---|---|---|---|---|
| Theoretische Informatik und Logik |
INF-B-290, INF-D-330 |
4/2/0 |
Prof. Dr. Hölldobler, Prof. Dr. Baier |
KI, ThI |
| Advanced Logic |
INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL |
4/2/0 |
Prof. Dr. Baier |
ThI |
| Hauptseminar Ausgewählte Themen der Automatentheorie und Logik |
INF-04-HS, INF-D-940, IST-05-HS |
0/2/0 |
Prof. Dr. Baier |
ThI |
| Komplexpraktikum Model Checking |
INF-04-KP, INF-MA-PR, IST-05-KP |
0/0/4, 0/0/8 |
Prof. Dr. Baier |
ThI |
| Lab Course Modeling and Quantitative System Analysis |
MCL-PCS |
0/0/4 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
| Project Group Model Checking |
MCL-P |
0/0/4 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
| Proseminar Ausgewählte Themen der Automatentheorie und Logik |
INF-B-610, INF-D-520 |
0/2/0 |
Prof. Dr. Baier |
ThI |
| Seminar Model Checking |
INF-AQUA, INF-D-940 |
0/2/0 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
|---|---|---|---|---|
| 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 |
| Einführung in die Informatik |
FAK-INF-LE |
3/1/0 |
Prof. Dr. Baader |
ThI |
| 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 |
| 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 |
| Fuzzy Description Logic |
INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-KR, MCL-TCSL |
2/1/0 |
Prof. Dr. Baader, Dr. Distel |
ThI |
| Komplexpraktikum Theoretische Informatik |
INF-04-KP, INF-MA-PR, IST-05-KP |
0/0/4, 0/0/8 |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
| Project Group Theoretical Computer Science |
MCL-P |
0/0/4 |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
| Proseminar Ausgewählte Themen der Theoretischen Informatik |
INF-B-610, INF-D-520 |
0/2/0 |
Prof. Dr. Baader, Dr. Sturm |
ThI |
| Seminar Theoretical Computer Science |
INF-AQUA, INF-D-940, MCL-PCS, MCL-PI, MCL-TCSL |
0/2/0 |
Prof. Dr. Baader, Dr. Turhan |
ThI |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
|---|---|---|---|---|
| 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 |
| Maschinelles Lernen in der Sprachverarbeitung |
INF-04-FG-IS, INF-04-FG-TP, INF-B-520, INF-BAS2, INF-BAS6, INF-VERT6 |
2/2/0 |
Prof. Dr. Vogler, Dr. Stüber |
ThI |
| Praktikum Haskell für NLP |
INF-04-KP, INF-D-940, INF-MA-PR, INF-PM-FPA, INF-PM-FPG |
0/0/4 |
Prof. Dr. Vogler, Dipl.-Inf. Dietze |
ThI |
| Programmierung |
FAK-INF-LE, INF-B-240, INF-D-230, INF-SEGY-INF-05, INF-SEMS-INF-05, IST-05-PF-GS, SWT-PF |
2/2/0 |
Prof. Dr. Vogler |
ThI |
| Weighted Tree Automata |
INF-04-FG-TP, INF-B-520, INF-BAS6, INF-VERT6, MCL-NLPA |
4/2/0 |
Prof. Dr. Vogler |
ThI |