| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
|---|---|---|---|---|
| Design and Analysis of Petri Net |
MCL-TCSL |
1/1/0 |
Dr. Nauber |
ThI |
| Hauptseminar Selected Topics in Logic and Verification |
INF-04-HS, INF-AQUA |
0/2/0 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
| Lab Course Modeling and Automated Verification |
MCL-PCS |
0/0/4 |
Dr. Klüppelholz |
ThI |
| Logic Programming Engineering |
MCL-LCP |
0/2/0 |
Dr. Nauber |
ThI |
| Praktikum Model Checking |
INF-04-KP, INF-04-P, INF-MA-PR |
0/0/4, 0/0/8 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
| Project Group Model Checking |
MCL-P |
0/0/4 |
Dr. Klüppelholz |
ThI |
| Selected Topics of Logics and Complexity |
MCL-PCS |
0/2/0 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
| Seminar Selected Topics in Logic and Verification |
INF-D-520, INF-D-940, MCL-PCS |
0/2/0 |
Dr. Klüppelholz |
ThI |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
|---|---|---|---|---|
| Description Logic |
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-PI, MCL-TCSL |
4/2/0 |
Dr. Penaloza |
ThI |
| Formale Systeme |
INF-B-270, INF-B-275, IST-05-PF-HS |
4/2/0 |
Prof. Dr. Baader |
ThI |
| Hauptseminar Theoretische Informatik |
INF-04-HS |
0/2/0 |
Prof. Dr. Baader, Dr. Turhan |
ThI |
| Informatik für Biologen |
FAK-INF-LE |
2/1/0 |
Prof. Dr. Baader, Dr. Sturm |
ThI |
| Komplexpraktikum Theoretische Informatik |
INF-04-KP, INF-MA-PR, IST-05-KP, MINF-04-KP-FG2 |
0/0/4, 0/0/8 |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
| Project Group Theoretical Computer Science |
MCL-P |
0/0/4 |
Dr. Penaloza |
ThI |
| Proseminar Ausgewählte Themen der Theoretischen Informatik |
INF-B-510, INF-B-520, 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 |
Dr. Turhan |
ThI |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
|---|---|---|---|---|
| Algorithmen und Datenstrukturen |
FAK-INF-LE, INF-B-210, INF-D-210, INF-SEGY-INF-02, INF-SEMS-INF-02, IST-05-PF-GS, MATH-BA-INFA, MATH-MA-INFADS |
2/2/0 |
Prof. Dr. Vogler |
ThI |
| Maschinelles Übersetzen natürlicher Sprachen |
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6 |
4/2/0 |
Prof. Dr. Vogler |
ThI |
| Proseminar Natural Language Processing |
INF-B-510, INF-B-520, INF-B-610, INF-D-520 |
0/2/0 |
Prof. Dr. Vogler, Dipl.-Inf. Dietze |
ThI |
| Seminar Natural Language Processing |
INF-04-FG-TP, INF-04-HS, INF-AQUA, INF-D-940 |
0/2/0 |
Prof. Dr. Vogler, Dipl.-Inf. Dietze |
ThI |
| Weighted Tree Automata |
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6 |
2/2/0 |
Prof. Dr. Vogler |
ThI |