Stundenplan Sommersemester 2015 - Institut für Theoretische Informatik

Version vom 08.05.2015



Algebraische und logische Grundlagen der Informatik

nach oben


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.

Automatentheorie

nach oben


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.

Grundlagen der Programmierung

nach oben


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
WIL/C105
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.

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 2015 - Institut für Theoretische Informatik