Lehrveranstaltung
|
Modul
|
SWS
|
Dozent
|
Institut
|
Theoretische Informatik und Logik
|
INF-B-290, INF-D-330
|
4/2/0
|
Prof. Dr. Hölldobler, Prof. Dr. Baier
|
KI, ThI
|
Advanced Logic
|
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
|
Prof. Dr. Baier
|
ThI
|
Anwendungsforschung Formale Methoden (Praktika und Projektarbeiten)
|
INF-PM-FPA
|
8P/PB
|
Prof. Dr. Baier
|
ThI
|
Grundlagenforschung Formale Methoden (Praktika und Projektarbeiten)
|
INF-PM-FPG
|
8P/PB
|
Prof. Dr. Baier
|
ThI
|
Komplexpraktikum Model Checking
|
INF-04-KP, INF-04-P, INF-MA-PR, IST-05-KP
|
0/0/4, 0/0/8
|
Prof. Dr. Baier, Dr. Klüppelholz
|
ThI
|
Lab Course Modeling and Quantitative System Analysis
|
MCL-PCS
|
0/0/4
|
Prof. Dr. Baier, Dr. Klüppelholz
|
ThI
|
Project Group Model Checking
|
MCL-P
|
0/0/4
|
Dr. Klüppelholz
|
ThI
|
Proseminar Ausgewählte Themen der Automatentheorie und Logik
|
INF-B-610, INF-D-520
|
0/2/0
|
Prof. Dr. Baier, Dr. Klüppelholz
|
ThI
|
Seminar Model Checking
|
INF-AQUA, INF-D-940, MCL-PCS
|
0/2/0
|
Prof. Dr. Baier, Dr. Klüppelholz
|
ThI
|
Lehrveranstaltung
|
Modul
|
SWS
|
Dozent
|
Institut
|
Automata and Logic
|
INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-KR, MCL-PI, MCL-TCSL
|
4/2/0
|
Prof. Dr. Baader, Dr. Penaloza
|
ThI
|
Einführung in die Theoretische Informatik
|
INF-SEBS-INF-04, INF-SEGY-INF-04, INF-SEMS-INF-04
|
3/1/0
|
Prof. Dr. Baader
|
ThI
|
Forschungsprojekt Theoretical Computer Science
|
INF-PM-FPG
|
8P/PB
|
Prof. Dr. Baader
|
ThI
|
Funktionale Programmierung und Typtheorie
|
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6
|
2/2/0
|
Prof. Dr. Baader, Dr. Sturm
|
ThI
|
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/2/0
|
Prof. Dr. Baader, Dr. Distel
|
ThI
|
Komplexpraktikum Theoretische Informatik
|
INF-04-KP, INF-MA-PR, IST-05-KP, MINF-04-KP-FG2
|
0/0/4, 0/0/8
|
Prof. Dr. Baader, Dr. Penaloza
|
ThI
|
Project Group Theoretical Computer Science
|
MCL-P
|
0/0/4
|
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. Dr. Baader, Dr. Sturm
|
ThI
|
Seminar Theoretical Computer Science
|
INF-AQUA, INF-D-940, MCL-PCS, MCL-PI, MCL-TCSL
|
0/2/0
|
Dr. Turhan
|
ThI
|
Lehrveranstaltung
|
Modul
|
SWS
|
Dozent
|
Institut
|
Advanced Topics on Weighted Tree Automata
|
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6
|
2/2/0
|
Prof. Dr. Vogler
|
ThI
|
Ergänzungen zum maschinellen Übersetzen natürlicher Sprachen
|
INF-04-FG-TP, INF-B-520, INF-BAS6, INF-VERT6
|
2/0/0
|
Prof. Dr. Vogler
|
ThI
|
Forschungsprojekt Verarbeitung natürlicher Sprachen
|
INF-PM-FPG
|
8P/PB
|
Prof. Dr. Vogler
|
ThI
|
Maschinelles Lernen in der Sprachverarbeitung
|
INF-04-FG-IS, INF-04-FG-TP, INF-B-520, INF-BAS2, INF-BAS6, INF-PM-FOR, INF-VERT6
|
2/2/0
|
Prof. Dr. Vogler, Dr. Stüber
|
ThI
|
Praktikum Haskell für NLP
|
INF-04-KP, INF-B-520, INF-D-940, INF-MA-PR
|
0/0/4
|
Prof. Dr. Vogler, Dipl.-Inf. Dietze
|
ThI
|
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, SWT-PF
|
2/2/0
|
Prof. Dr. Vogler
|
ThI
|