Lehrangebot Sommersemester 2016 - Institut für Theoretische Informatik

Version vom 16.12.2015



Algebraische und logische Grundlagen der Informatik

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Advanced Logics
INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, MCL-AL
4/2/0
english
Prof. Baier
Entwurfs- und Analysemethoden für Algorithmen
INF-04-FG-TP, INF-BAS6
2/0/0
deutsch
Prof. Baier, Dr. Klüppelholz
Forschungsprojekt Formale Methoden
INF-PM-FPG
0/0/8
deutsch, english
Prof. Baier
Komplexpraktikum Modellierung und quantitative Systemanalyse I
INF-04-KP, INF-04-P, INF-MA-PR, IST-05-KP
0/0/4
deutsch
Prof. Baier
Komplexpraktikum Modellierung und quantitative Systemanalyse II
INF-04-KP, INF-MA-PR, IST-05-KP
0/0/8
deutsch
Prof. Baier
Lab Course Modeling and Automated Verification
MCL-PCS
0/2/0
english
Prof. Baier
Project Group Model Checking
MCL-P
0/0/4
english
Prof. Baier
Proseminar Theoretische Informatik
INF-B-610, INF-D-520
0/2/0
deutsch
Prof. Baier
Seminar Selected Topics in Logic and Verification
INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS
0/2/0
english
Prof. Baier

Automatentheorie

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Advanced Topics in Complexity Theory
INF-BAS6, INF-VERT6, MCL-PI, MCL-TCSL
2/2/0
english
Prof. Baader, Dr. Borchmann
Database Theory
INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-KR, MCL-PI, MCL-TCSL
2/2/0
english
Dr. Krötzsch
Einführung in die Informatik
D-WW-EINF, INF-LE-WW, INF-SEBS-INF-04, INF-SEGY-INF-04, INF-SEMS-INF-04
2/2/0
deutsch
Dr. Turhan
Forschungsprojekt Theoretical Computer Science
INF-PM-FPG
8P/PB
deutsch
Prof. Baader
Introduction to Automatic Structures
INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-PI, MCL-TCSL
2/1/0
english
Dr. Turhan
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
Project Group Theoretical Computer Science
MCL-P
0/0/4
english
Prof. Baader, Dr. Turhan
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
Term Rewriting Systems
INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-PI, MCL-TCSL
4/2/0
english
Prof. Baader

Grundlagen der Programmierung

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Doktorandenseminar Grundlagen der Programmierung
FAK-INF-FF
0/2/0
deutsch
Prof. Vogler
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

Anmerkungen

nach oben

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:



Lehrangebot Sommersemester 2016 - Institut für Theoretische Informatik