| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
|---|---|---|---|---|
| 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 |
| Anwendungsforschung Formale Methoden (Praktika und Projektarbeiten) |
INF-PM-FPA |
8P/PB |
Prof. Dr. Baier |
ThI |
| Grundlagenforschung Formale Methoden (Praktika und Projektarbeiten) |
INF-PM-FPG |
8P/PB |
Prof. Dr. Baier |
ThI |
| Project Group Model Checking |
MCL-P |
0/0/4 |
Dr. Klüppelholz |
ThI |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
|---|---|---|---|---|
| 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 |
| Project Group Theoretical Computer Science |
MCL-P |
0/0/4 |
Dr. Penaloza |
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 |
|---|---|---|---|---|
| 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 |
| Forschungsprojekt Verarbeitung natürlicher Sprachen |
INF-PM-FPG |
8P/PB |
Prof. Dr. Vogler |
ThI |
| 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 |
| 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 |