| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
|---|---|---|---|---|
| Formale Systeme |
INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS |
4/2/0 |
deutsch |
Prof. Baier, Dr. Peters |
| Komplexpraktikum Modellierung und quantitative Systemanalyse I |
INF-04-KP, INF-04-P, INF-MA-PR, INF-PM-FPG, IST-05-KP |
0/0/4 |
deutsch |
Prof. Baier, Dr. Klüppelholz |
| Komplexpraktikum Modellierung und quantitative Systemanalyse II |
INF-04-KP, INF-04-P, INF-MA-PR, INF-PM-FPG, IST-05-KP |
0/0/8 |
deutsch |
Prof. Baier, Dr. Klüppelholz |
| Lab Course Modeling and Automated Verification |
MCL-PCS |
0/2/0 |
english |
Prof. Baier, Dr. Peters, Dr. Klüppelholz |
| Logic Programming Engineering |
MCL-LCP |
0/2/0 |
english |
Dr. Klüppelholz |
| Project Group Model Checking |
MCL-P |
0/0/4 |
english |
Prof. Baier, Dr. Klüppelholz |
| Proseminar Theoretische Informatik |
INF-B-610, INF-D-520 |
0/2/0 |
deutsch |
Prof. Baier, Dr. Peters, Dr. Klüppelholz |
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
|---|---|---|---|---|
| Description Logic |
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-PI, MCL-TCSL |
4/2/0 |
english |
Dr. Turhan |
| Forschungsprojekt Theoretical Computer Science |
INF-PM-FPG |
8P/PB |
deutsch |
Prof. Baader |
| Informatik für Biologen |
INF-LE-BIO |
2/1/0 |
deutsch |
Dr. Sturm |
| Introduction to Complexity Theory |
INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-KR, MCL-PI, MCL-TCSL |
2/1/0 |
english |
Prof. Baader, Dr. Penaloza |
| Komplexpraktikum Theoretische Informatik |
INF-04-KP, INF-MA-PR, IST-05-KP, MINF-04-KP-FG2 |
0/0/4, 0/0/8 |
deutsch |
Prof. Baader, Dr. Penaloza |
| Project Group Theoretical Computer Science |
MCL-P |
0/0/4 |
english |
Prof. Baader, Dr. Penaloza |
| Proseminar Ausgewählte Themen der Theoretischen Informatik |
INF-B-510, INF-B-520, INF-B-610, INF-D-520 |
0/2/0 |
deutsch |
Prof. Baader, Dr. Sturm |
| Seminar Advanced Topics in Term Rewriting |
INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS, MCL-PI, MCL-TCSL |
0/2/0 |
english |
Prof. Baader |
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
|---|---|---|---|---|
| Algorithmen und Datenstrukturen |
INF-B-210, INF-D-210, INF-LE-EUI, INF-LE-GEO, INF-LE-MA, INF-LE-PHY, INF-SEGY-INF-02, INF-SEMS-INF-02, IST-05-PF-GS, MATH-BA-INFA, MATH-MA-INFADS |
2/2/0 |
deutsch |
Prof. Vogler |
| Doktorandenseminar Grundlagen der Programmierung |
FAK-INF-FF |
0/2/0 |
deutsch |
Prof. Vogler |
| Formale Übersetzungsmodelle |
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS2, INF-BAS6, INF-PM-FOR, INF-VERT2, INF-VERT6 |
2/2/0 |
deutsch |
Prof. Vogler |
| Forschungsprojekt Verarbeitung natürlicher Sprachen |
INF-PM-FPG |
8P/PB |
deutsch |
Prof. Vogler |
| Maschinelles Übersetzen natürlicher Sprachen |
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS2, INF-BAS6, INF-VERT2, INF-VERT6 |
4/2/0 |
deutsch |
Prof. Vogler |
| Master-Praktikum Verarbeitung natürlicher Sprachen I |
INF-04-KP, INF-MA-PR |
0/0/4 |
deutsch |
Prof. Vogler |
| Master-Praktikum Verarbeitung natürlicher Sprachen II |
INF-MA-PR |
0/0/8 |
deutsch |
Prof. Vogler |
| Proseminar Natural Language Processing |
INF-04-PS, INF-B-510, INF-B-520, INF-B-610, INF-D-520 |
0/2/0 |
deutsch |
Prof. Vogler |
| Seminar Natural Language Processing |
INF-04-FG-TP, INF-04-HS, INF-AQUA, INF-D-940 |
0/2/0 |
deutsch |
Prof. Vogler |
Semester im Sinne der Prüfungs- und Studienordnung.
Master-Niveau Die Lehrveranstaltung ist an Master- bzw. Diplomstudenten im Hauptstudium gerichtet. Diese Angebot ist optional und nur für fortgeschrittene Studenten empfohlen.
Prüfung Art und Dauer von Prüfungsleistungen sind den Modulbeschreibungen zu entnehmen. Ausnahmen hierfür sind die Module INF-AQUA, INF-B-510/20/30/40, INF-B-610 und INF-D-940 - hier wird die Prüfungsform der jeweiligen Lehrveranstaltung explizit angegeben. Mögliche Prüfungsformen sind:
Module Zusätzlich zu den Modulen aus Bachelor/Master/Diplom Informatik, Medieninformatik und Informationssystemtechnik gibt es noch folgende Module für andere Studiengänge
und folgende "Module" für ältere Studiengänge und Sonstiges