Lehrveranstaltung
|
Modul
|
SWS
|
Dozent
|
Institut
|
Advanced Logics: Model Checking
|
MCL-AL
|
4/2/0
|
Prof. Baier
|
ThI
|
Design and Analysis of Petri Nets
|
MCL-TCSL
|
2/2/0
|
Dr. Nauber
|
ThI
|
Komplexpraktikum Modellierung und quantitative Systemanalyse
|
INF-04-KP, INF-04-P, INF-MA-PR, INF-PM-FPG, IST-05-KP
|
0/0/4, 0/0/8
|
Prof. Baier, Dr. Klüppelholz
|
ThI
|
Lab Course Modeling and Automated Verification
|
MCL-PCS
|
0/2/0
|
Prof. Baier, Dr. Klüppelholz
|
ThI
|
Model Checking
|
INF-B-510, INF-B-520, INF-BAS6, INF-VERT6
|
4/4/0
|
Prof. Baier, Dr. Klüppelholz
|
ThI
|
Project Group Model Checking
|
MCL-P
|
0/0/4
|
Prof. Baier, Dr. Klüppelholz
|
ThI
|
Proseminar Theoretische Informatik
|
INF-B-610, INF-D-520
|
0/2/0
|
Prof. Baier, Dr. Klüppelholz
|
ThI
|
Seminar Selected Topics in Logic and Verification
|
INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS
|
0/2/0
|
Prof. Baier, Dr. Klüppelholz
|
ThI
|
Lehrveranstaltung
|
Modul
|
SWS
|
Dozent
|
Institut
|
Einführung in die Theoretische Informatik
|
INF-LE-WW, INF-SEBS-INF-04, INF-SEGY-INF-04, INF-SEMS-INF-04
|
3/1/0
|
Prof. Baader, Dr. Turhan
|
ThI
|
Forschungsprojekt Theoretical Computer Science
|
INF-PM-FPG
|
8P/PB
|
Prof. Baader
|
ThI
|
Komplexpraktikum Theoretische Informatik
|
INF-04-KP, INF-MA-PR, IST-05-KP, MINF-04-KP-FG2
|
0/0/4, 0/0/8
|
Prof. Baader, Dr. Penaloza
|
ThI
|
Logical Approach to Physical Data Independence and Query Compilation
|
MCL-KR, MCL-PI, MCL-TCSL
|
1/1/0
|
Prof. Baader, Prof. Toman
|
ThI
|
Molekulares Rechnen - in vitro und in vivo
|
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6
|
2/2/0
|
Prof. Baader, Dr. Sturm
|
ThI
|
Project Group Theoretical Computer Science
|
MCL-P
|
0/0/4
|
Prof. Baader, Dr. Penaloza
|
ThI
|
Proseminar Ausgewählte Themen der Theoretischen Informatik
|
INF-B-510, INF-B-520, INF-B-610, INF-D-520
|
0/2/0
|
Prof. Baader, Dr. Sturm
|
ThI
|
Seminar Theoretical Computer Science
|
INF-AQUA, INF-D-940, MCL-PCS, MCL-PI, MCL-TCSL
|
0/2/0
|
Prof. Baader, Dr. Turhan
|
ThI
|
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
|
Prof. Baader, Dr. Penaloza
|
ThI
|
Theoretische Informatik und Logik
|
INF-B-290, INF-D-330
|
4/2/0
|
Prof. Baader
|
ThI
|