| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
|---|---|---|---|---|
| Introduction to theorem-proving with Isabelle/HOL |
MCL-TCSL |
2/0/0 |
english |
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 |
| Lab Course Modeling and Automated Verification |
MCL-PCS |
0/2/0 |
english |
Prof. Baier, Dr. Peters, 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 |
| Seminar Modell Checking |
INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS |
0/2/0 |
english |
Prof. Baier, Dr. Peters, Dr. Klüppelholz |
| Seminar Selected Topics in Logic and Verification |
INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS |
0/2/0 |
english |
Prof. Baier, Dr. Peters, Dr. Klüppelholz |
| Theoretische Informatik und Logik |
INF-B-290, INF-D-330 |
4/2/0 |
deutsch |
Dr. Peters |
| Tutorial Logic Programming Engineering |
MCL-LCP |
0/2/0 |
english |
Dr. Klüppelholz |
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
|---|---|---|---|---|
| Automata and Logic |
INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL, MCL-KR, MCL-PI, MCL-TCSL |
4/2/0 |
english |
Prof. Baader, Dr. Penaloza |
| Einführung in die Theoretische Informatik |
INF-LE-WW, INF-SEBS-INF-04, INF-SEGY-INF-04, INF-SEMS-INF-04 |
3/1/0 |
deutsch |
Prof. Baader |
| Forschungsprojekt Theoretical Computer Science |
INF-PM-FPG |
8P/PB |
deutsch |
Prof. Baader |
| Funktionale Programmierung und Typtheorie |
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6 |
2/2/0 |
deutsch |
Dr. Sturm |
| 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 |
| Molekulares Rechnen - in vitro und in vivo |
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6 |
2/2/0 |
deutsch |
Prof. Baader, Dr. Sturm |
| 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 Theoretical Computer Science |
INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS, MCL-PI, MCL-TCSL |
0/2/0 |
english |
Prof. Baader, Dr. Lippmann |
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
|---|---|---|---|---|
| Ergänzungen zum Maschinellen Übersetzen natürlicher Sprachen |
INF-04-FG-IS, 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 |
| Formale Baumsprachen |
INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS2, INF-BAS6, INF-VERT2, INF-VERT6 |
4/2/0 |
deutsch |
Prof. Vogler |
| Forschungsprojekt Verarbeitung natürlicher Sprachen |
INF-PM-FPG |
8P/PB |
deutsch |
Prof. Vogler |
| Praktikum Haskell für NLP I |
INF-04-KP, INF-B-510, INF-B-520, INF-D-940, INF-MA-PR |
0/0/4 |
deutsch |
Prof. Vogler, Dipl.-Inf. Dietze |
| Praktikum Haskell für NLP II |
INF-MA-PR |
0/0/8 |
deutsch |
Prof. Vogler, Dipl.-Inf. Dietze |
| Programmierung |
INF-B-240, INF-D-230, INF-LE-EUI, INF-LE-MA, INF-LE-PHY, INF-SEGY-INF-05, INF-SEMS-INF-05, IST-05-PF-GS, MATH-BA-INFB, MATH-MA-INFPRG |
2/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.
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
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: