| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
Master-Niveau |
Prüfung |
|---|---|---|---|---|---|---|
| Theoretische Informatik und Logik |
INF-B-290, INF-D-330 |
4/2/0 |
Prof. Dr. Hölldobler, Prof. Dr. Baier |
KI, ThI |
nein |
|
| 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 |
ja |
P(m) 20 min |
| Hauptseminar Ausgewählte Themen der Automatentheorie und Logik |
INF-04-HS, INF-D-940, IST-05-HS |
0/2/0 |
Prof. Dr. Baier |
ThI |
nein |
Seminararbeit und Präsentation |
| Komplexpraktikum Model Checking |
INF-04-KP, INF-MA-PR, IST-05-KP |
0/0/4, 0/0/8 |
Prof. Dr. Baier |
ThI |
ja |
L(V) |
| Lab Course Modeling and Automated Verification |
MCL-MV |
0/0/4 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
nein |
|
| Project Group Model Checking |
MCL-P |
0/0/4 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
nein |
|
| Proseminar Ausgewählte Themen der Automatentheorie und Logik |
INF-B-610, INF-D-940 |
0/2/0 |
Prof. Dr. Baier |
ThI |
nein |
Seminararbeit und Präsentation |
| Seminar Model Checking |
INF-AQUA, INF-B-610, INF-BAS6, INF-VERT6 |
0/2/0 |
Prof. Dr. Baier |
ThI |
ja |
Seminararbeit und Präsentation |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
Master-Niveau |
Prüfung |
|---|---|---|---|---|---|---|
| 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 |
ja |
P(m) 30min |
| Einführung in die Informatik |
FAK-INF-LE |
3/1/0 |
Prof. Dr. Baader |
ThI |
nein |
P(s) L(sA) |
| Einführung in die Theoretische Informatik |
INF-LA04I |
3/1/0 |
Prof. Dr. Baader |
ThI |
nein |
P |
| 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 |
ja |
P(m) 25min |
| Fuzzy Description Logic |
INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-MV, MCL-PI, MCL-TCSL |
2/1/0 |
Prof. Dr. Baader, Dr. Distel |
ThI |
ja |
P(m) 20min |
| Komplexpraktikum Theoretische Informatik |
INF-04-KP, INF-MA-PR, IST-05-KP |
0/0/4, 0/0/8 |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
ja |
L(V) |
| Proseminar Ausgewählte Themen der Theoretischen Informatik |
INF-B-610, INF-D-520 |
0/2/0 |
Prof. Dr. Baader, Dr. Sturm |
ThI |
nein |
L(V) |
| Seminar Theoretical Computer Science |
INF-AQUA, INF-B-520, INF-B-610, INF-BAS6, INF-D-940, INF-VERT6, MCL-PCS, MCL-TCSL |
0/2/0 |
Prof. Dr. Baader, Dr. Turhan |
ThI |
ja |
Seminararbeit und Präsentation |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
Master-Niveau |
Prüfung |
|---|---|---|---|---|---|---|
| Ergänzungen zum maschinellen Übersetzen natürlicher Sprachen |
INF-B-520, INF-BAS6, INF-VERT6 |
2/0/0 |
Prof. Dr. Vogler |
ThI |
ja |
P(m) 30 min |
| Maschinelles Lernen in der Sprachverarbeitung |
INF-B-520, INF-BAS2, INF-BAS6, INF-VERT2, INF-VERT6 |
2/2/0 |
Prof. Dr. Vogler |
ThI |
ja |
P(m) 30 min |
| Praktikum Haskell für NLP |
INF-B-520, INF-D-520, INF-D-940, INF-MA-PR |
0/0/4 |
Prof. Dr. Vogler |
ThI |
ja |
L(PP) |
| Programmierung |
FAK-INF-LE, INF-B-240, INF-D-230, INF-LA04M, IST-05-PF-GS, SWT-PF |
2/2/0 |
Prof. Dr. Vogler |
ThI |
nein |
P |
| Weighted Tree Automata |
INF-04-FG-IS, INF-04-FG-TP, INF-B-520, INF-BAS6, INF-VERT6, MCL-NLPA |
4/2/0 |
Prof. Dr. Vogler |
ThI |
ja |
P(m) |
Die Lehrveranstaltung ist an Master- bzw. Diplomstudenten im Hauptstudium gerichtet. Diese Angebot ist optional und nur für fortgeschrittene Studenten empfohlen.
Art und Dauer von Prüfungsleistungen:
P(m): mündliche Prüfung
P(s): schriftliche Prüfung
P(V): Vortrag, Referat
P(PP): Praktikumsprotokoll
P(sA): schriftliche Ausarbeitung, Seminararbeit
P(PA): Projektarbeit
P(PE): bewertbares Ergebnis eines Praktikums