Lehrangebot Wintersemester 2014/15 - Institut für Theoretische Informatik

Version vom 14.07.2014



Algebraische und logische Grundlagen der Informatik

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Formale Systeme
INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS
4/2/0
deutsch
Prof. Baier, Dr. Peters
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
Komplexpraktikum Modellierung und quantitative Systemanalyse II
INF-04-KP, INF-04-P, INF-MA-PR, INF-PM-FPG, IST-05-KP
0/0/8
deutsch
Prof. Baier, Dr. Klüppelholz
Lab Course Modeling and Automated Verification
MCL-PCS
0/2/0
english
Prof. Baier, Dr. Peters, Dr. Klüppelholz
Logic Programming Engineering
MCL-LCP
0/2/0
english
Dr. Klüppelholz
Project Group Model Checking
MCL-P
0/0/4
english
Prof. Baier, Dr. Klüppelholz
Proseminar Theoretische Informatik
INF-B-610, INF-D-520
0/2/0
deutsch
Prof. Baier, Dr. Peters, Dr. Klüppelholz
Seminar Model Checking
INF-AQUA, INF-B-610, INF-D-520, INF-D-940, MCL-PCS
0/2/0
english
Prof. Baier, Dr. Peters, Dr. Klüppelholz

Automatentheorie

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Description Logic
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-PI, MCL-TCSL
4/2/0
english
Dr. Turhan
Forschungsprojekt Theoretical Computer Science
INF-PM-FPG
8P/PB
deutsch
Prof. Baader
Informatik für Biologen
INF-LE-BIO
2/1/0
deutsch
Dr. Sturm
Introduction to Complexity Theory
INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-PI, MCL-TCSL
2/1/0
english
Prof. Baader, Dr. Penaloza
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, Dr. Penaloza
Project Group Theoretical Computer Science
MCL-P
0/0/4
english
Prof. Baader, Dr. Penaloza
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 Advanced Topics in Term Rewriting
INF-04-HS, INF-AQUA, INF-D-940, MCL-PI, MCL-TCSL
0/2/0
english
Prof. Baader

Grundlagen der Programmierung

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Algorithmen und Datenstrukturen
INF-B-210, INF-D-210, INF-LE-EUI, INF-LE-GEO, INF-LE-MA, INF-LE-PHY, INF-SEGY-INF-02, INF-SEMS-INF-02, IST-05-PF-GS, MATH-BA-INFA, MATH-MA-INFADS
2/2/0
deutsch
Prof. Vogler
Doktorandenseminar Grundlagen der Programmierung
FAK-INF-FF
0/2/0
deutsch
Prof. Vogler
Formale Übersetzungsmodelle
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
Maschinelles Übersetzen natürlicher Sprachen
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS2, INF-BAS6, INF-VERT2, INF-VERT6
4/2/0
deutsch
Prof. Vogler
Master-Praktikum Verarbeitung natürlicher Sprachen I
INF-04-KP, INF-MA-PR
0/0/4
deutsch
Prof. Vogler
Master-Praktikum Verarbeitung natürlicher Sprachen II
INF-MA-PR
0/0/8
deutsch
Prof. Vogler
Proseminar Natural Language Processing
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
INF-04-FG-TP, INF-04-HS, INF-AQUA, INF-D-940
0/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.

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:

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



Lehrangebot Wintersemester 2014/15 - Institut für Theoretische Informatik