| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Introduction to theorem-proving with Isabelle/HOL |
MCL-TCSL |
2/0/0 |
english |
Dr. Peters |
V |
Montag |
6. |
APB/E005 |
wöch. |
| 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 |
P |
ZVZ |
AVO |
||
| Lab Course Modeling and Automated Verification |
MCL-PCS |
0/2/0 |
english |
Prof. Baier, Dr. Peters, Dr. Klüppelholz |
P |
Freitag |
5. |
APB/E005 |
wöch. |
| Project Group Model Checking |
MCL-P |
0/0/4 |
english |
Prof. Baier, Dr. Klüppelholz |
P |
ZVZ |
AVO |
||
| Proseminar Theoretische Informatik |
INF-B-610, INF-D-520 |
0/2/0 |
deutsch |
Prof. Baier, Dr. Peters, Dr. Klüppelholz |
U |
Freitag |
4. |
APB/E010 |
wöch. |
| 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 |
U |
Mittwoch |
6. |
APB/E005 |
wöch. |
| Theoretische Informatik und Logik |
INF-B-290, INF-D-330 |
4/2/0 |
deutsch |
Dr. Peters |
V V U U U U U U |
Montag Donnerstag Dienstag Mittwoch Donnerstag Freitag Freitag Freitag |
2. 4. 1. 1. 1. 1. 4. 5. |
APB/E023 HSZ/0004 SCH/A184 WIL/C206 BAR/0218 WIL/C104 SCH/A184 APB/E007 |
wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. |
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| 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. Borchmann |
V V U |
Dienstag Donnerstag Mittwoch |
6. 6. 5. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Einführung in die Informatik |
INF-LE-WW, INF-SEBS-INF-04, INF-SEGY-INF-04, INF-SEMS-INF-04 |
2/2/0 |
deutsch |
Prof. Baader |
V V |
Montag Donnerstag |
2. 3. |
HÜL/S186 APB/E023 |
wöch. wöch. |
| Forschungsprojekt Theoretical Computer Science |
INF-PM-FPG |
8P/PB |
deutsch |
Prof. Baader |
P |
ZVZ |
AVO |
||
| Foundations of Databases and Query Languages |
INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-KR, MCL-PI, MCL-TCSL |
2/2/0 |
english |
Dr. Krötzsch |
V U |
Montag Freitag |
3. 4. |
APB/E005 APB/E005 |
wöch. wöch. |
| Funktionale Programmierung und Typtheorie |
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6 |
2/2/0 |
deutsch |
Dr. Sturm |
V V |
Montag Freitag |
3. 4. |
APB/E010 APB/E007 |
wöch. wöch. |
| 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 |
P |
ZVZ |
AVO |
||
| 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 |
V U |
Mittwoch Donnerstag |
2. 1. |
APB/E008 APB/E009 |
wöch. wöch. |
| Project Group Theoretical Computer Science |
MCL-P |
0/0/4 |
english |
Prof. Baader |
P |
ZVZ |
ZVZ |
APB/E005 |
wöch. |
| 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 |
U |
Dienstag |
6. |
APB/E009 |
wöch. |
| 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 |
U |
Freitag |
3. |
APB/3027 |
wöch. |
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| 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 |
V U |
Donnerstag Dienstag |
5. 1. |
APB/E009 APB/E010 |
wöch. wöch. |
| 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 |
V V U |
Montag Donnerstag Mittwoch |
2. 4. 2. |
APB/E009 APB/E010 APB/E010 |
wöch. wöch. wöch. |
| Forschungsprojekt Verarbeitung natürlicher Sprachen |
INF-PM-FPG |
8P/PB |
deutsch |
Prof. Vogler |
P |
ZVZ |
AVO |
||
| 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 |
P |
Dienstag |
2., 3. |
APB/E069 |
wöch. |
| Praktikum Haskell für NLP II |
INF-MA-PR |
0/0/8 |
deutsch |
Prof. Vogler, Dipl.-Inf. Dietze |
P |
Dienstag |
2., 3. |
APB/E069 |
wöch. |
| 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 |
V U U U U U U U U U U U U U U U U |
Freitag Montag Montag Montag Montag Dienstag Dienstag Mittwoch Mittwoch Mittwoch Donnerstag Donnerstag Donnerstag Freitag Freitag Freitag Freitag |
2. 2. 3. 4. 5. 1. 6. 1. 1. 5. 1. 2. 4. 1. 4. 4. 5. |
HSZ/0003 HSZ/0E01 GER/0039 SCH/A184 S07/0302 BAR/0218 WIL/C106 APB/E007 SCH/A419 S07/0E02 SCH/A419 APB/E009 APB/E006 WIL/C204 WIL/C103 WIL/C104 APB/E009 |
wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. |
Tag, Raum
Woche
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: