Stundenplan Sommersemester 2017 - Institut für Theoretische Informatik

Version vom 13.04.2017



Algebraische und logische Grundlagen der Informatik

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Art
Tag
DS
Raum
Woche
Advanced Logics


INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL


4/2/0


english


Prof. Baier


V
V
U
Donnerstag
Donnerstag
Freitag
2.
3.
2.
APB/E005
APB/E005
APB/E005
wöch.
wöch.
wöch.
Binäre Entscheidungsgraphen
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6
2/0/0
deutsch
Prof. Baier, Dr. Klüppelholz
V
Mittwoch
2.
APB/E008
wöch.
Doktorandenseminar Advances in Probabilistic Model Checking
FAK-INF-FF
0/2/0
english
Prof. Baier
U
ZVZ

AVO

Forschungsprojekt Formale Methoden
INF-PM-FPG
8P/PB
deutsch, english
Prof. Baier
P
ZVZ

AVO

Komplexpraktikum Modellierung und quantitative Systemanalyse I
INF-04-KP, INF-04-P, INF-MA-PR, IST-05-KP
0/0/4
deutsch
Prof. Baier
P
ZVZ

AVO

Komplexpraktikum Modellierung und quantitative Systemanalyse II
INF-MA-PR
0/0/8
deutsch
Prof. Baier
P
ZVZ

AVO

Lab Course Modeling and Automated Verification
MCL-PCS
0/2/0
english
Prof. Baier
P
Freitag
5.
AVO
wöch.
Project Group Model Checking
MCL-P
0/0/4
english
Prof. Baier
P
ZVZ

AVO

Proseminar Theoretische Informatik
INF-B-510, INF-B-520, INF-B-610, INF-D-520
0/2/0
deutsch
Prof. Baier
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
U
Freitag
3.
APB/E005
wöch.

Automatentheorie

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Art
Tag
DS
Raum
Woche
Einführung in die Informatik

D-WW-EINF, INF-BAWP-INF-04, INF-LE-WW, INF-SEBS-INF-04, INF-SEGY-INF-04, INF-SEMS-INF-04

2/2/0

deutsch

Dr. Turhan

V
U
Donnerstag
Montag
3.
2.
APB/E023
APB/E023
wöch.
wöch.
Forschungsprojekt Theoretical Computer Science
INF-PM-FPG
8P/PB
deutsch
Prof. Baader
P
ZVZ

AVO

Fuzzy Description Logic

INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, MCL-KR, MCL-TCSL

2/1/0

english

Dr. Turhan

V
U
Dienstag
Mittwoch
6.
5.
APB/E005
APB/E005
wöch.
2. Wo.
Komplexpraktikum Theoretische Informatik
INF-04-KP, INF-MA-PR, IST-05-KP, MINF-04-KP-FG2
0/0/4, 0/0/8
deutsch
Dr. Borchmann
P
ZVZ

AVO

Project Group Theoretical Computer Science
MCL-P
0/0/4
english
Prof. Baader, Dr. Turhan
P
ZVZ

AVO

Proseminar Ausgewählte Themen der Theoretischen Informatik
INF-B-510, INF-B-520, INF-B-610, INF-D-520
0/2/0
deutsch
Dr. Sturm
U
ZVZ
ZVZ
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
Dr. Turhan
U
Montag
3.
APB/E005
wöch.

Grundlagen der Programmierung

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Art
Tag
DS
Raum
Woche
Doktorandenseminar Grundlagen der Programmierung
FAK-INF-FF
0/2/0
deutsch
Prof. Vogler
U
ZVZ

AVO

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-VERT2, INF-VERT6


4/2/0


deutsch


Prof. Vogler


V
V
U
Montag
Donnerstag
Mittwoch
2.
5.
3.
APB/E006
APB/E006
APB/E008
wöch.
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-PM-FOR, INF-VERT2, INF-VERT6

2/2/0

deutsch

Prof. Vogler

V
U
Donnerstag
Mittwoch
4.
2.
APB/E010
APB/E010
wöch.
wöch.
Forschungsprojekt Verarbeitung natürlicher Sprachen
INF-PM-FPG
8P/PB
deutsch
Prof. Vogler
P
ZVZ

AVO

Master-Praktikum Verarbeitung natürlicher Sprachen
INF-MA-PR
0/0/8
deutsch
Prof. Vogler
P
ZVZ

AVO

Praktikum Verarbeitung natürlicher Sprachen
INF-04-KP, INF-B-510, INF-B-520, INF-D-940, INF-MA-PR
0/0/4
deutsch
Prof. Vogler
P
ZVZ

AVO

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
Dienstag
Dienstag
Dienstag
Dienstag
Dienstag
Mittwoch
Mittwoch
Mittwoch
Mittwoch
Donnerstag
Donnerstag
Donnerstag
Freitag
Freitag
2.
2.
4.
1.
2.
4.
6.
6.
1.
1.
5.
6.
1.
1.
1.
1.
4.
HSZ/0003
APB/E008
APB/E006
WIL/A221
HSZ/0103
ZEU/0114
APB/E009
VMB/0302
APB/E001
WIL/A221
BAR/0106
APB/E009
BAR/0218
REC/C118
VMB/0302
WIL/A221
APB/E006
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.
Seminar Natural Language Processing I
INF-04-PS, INF-B-510, INF-B-520, INF-B-610, INF-D-520
0/2/0
deutsch
Prof. Vogler
U
ZVZ

AVO

Seminar Natural Language Processing II
INF-04-FG-TP, INF-04-HS, INF-AQUA, INF-D-940
0/2/0
deutsch
Prof. Vogler
U
ZVZ

AVO


Wissensbasierte Systeme

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Art
Tag
DS
Raum
Woche
Theoretische Informatik und Logik







INF-B-290, INF-D-330







4/2/0







deutsch







Prof. Krötzsch







V
V
U
U
U
U
U
U
Mittwoch
Freitag
Dienstag
Dienstag
Mittwoch
Donnerstag
Donnerstag
Freitag
4.
3.
2.
5.
5.
1.
6.
2.
HSZ/0004
HSZ/0004
APB/E008
APB/E010
APB/E001
APB/E008
APB/E010
APB/E009
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.

Anmerkungen

nach oben

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:



Stundenplan Sommersemester 2017 - Institut für Theoretische Informatik