Lehrangebot Sommersemester 2018 - Institut für Theoretische Informatik

Version vom 17.01.2018



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
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, MCL-PS
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, MCL-PS
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
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
Logic-based Ontology Engineering
INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, MCL-ILS
2/2/0
english
Dr.-Ing. Borgwardt
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, Dr. Turhan
Term Rewriting Systems
INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AI, MCL-PI, MCL-TCSL
4/2/0
english
Prof. Baader

Grundlagen der Programmierung

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
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
Freitagsseminar
FAK-INF-FF
0/2/0
deutsch
Prof. Vogler
Master-Praktikum Verarbeitung natürlicher Sprachen
INF-MA-PR
0/0/8
deutsch
Prof. Vogler
Parsing von natürlichen 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
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
Database Theory
INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, MCL-KR, MCL-PI, MCL-TCSL
4/2/0
english
Prof. Krötzsch
Deduction Systems
INF-BAS2, INF-VERT2, MCL-ILS
1/1/0
english
Prof. Krötzsch
Forschungsprojekt Wissensbasierte Systeme
INF-PM-FPA, INF-PM-FPG
0/0/8
deutsch
Prof. Krötzsch
Komplexpraktikum Wissensbasierte Systeme
INF-B-510, INF-B-520, INF-MA-PR
0/0/4, 0/0/8
deutsch
Prof. Krötzsch
Project Group Knowledge-Based Systems
MCL-P
0/0/4
english
Prof. Krötzsch
Seminar Existential Rules
INF-AQUA, INF-D-940, INF-PM-FOR, MCL-KR, MCL-PI, MCL-TCSL
0/2/0
english
Prof. Krötzsch
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 2018 - Institut für Theoretische Informatik