Lehrangebot 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
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
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
Doktorandenseminar Advances in Probabilistic Model Checking
FAK-INF-FF
0/2/0
english
Prof. Baier
Forschungsprojekt Formale Methoden
INF-PM-FPG
8P/PB
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-MA-PR
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-510, INF-B-520, 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
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
Forschungsprojekt Theoretical Computer Science
INF-PM-FPG
8P/PB
deutsch
Prof. Baader
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
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
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
Dr. Sturm
Seminar Theoretical Computer Science
INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS, MCL-PI, MCL-TCSL
0/2/0
english
Dr. Turhan

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-VERT2, INF-VERT6
4/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-PM-FOR, INF-VERT2, INF-VERT6
2/2/0
deutsch
Prof. Vogler
Forschungsprojekt Verarbeitung natürlicher Sprachen
INF-PM-FPG
8P/PB
deutsch
Prof. Vogler
Master-Praktikum Verarbeitung natürlicher Sprachen
INF-MA-PR
0/0/8
deutsch
Prof. Vogler
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
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
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
Seminar Natural Language Processing II
INF-04-FG-TP, INF-04-HS, INF-AQUA, INF-D-940
0/2/0
deutsch
Prof. Vogler

Wissensbasierte Systeme

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Theoretische Informatik und Logik
INF-B-290, INF-D-330
4/2/0
deutsch
Prof. Krötzsch

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