Sommersemester 2013

Version vom 17.04.2013


Institut für Theoretische Informatik

Algebraische und logische Grundlagen der Informatik


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-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
Prof. Dr. Baier, 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

Automatentheorie


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 Informatik
FAK-INF-LE
3/1/0
Prof. Dr. Baader
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, Dr. Penaloza
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
0/0/4, 0/0/8
Prof. Dr. Baader, Dr. Penaloza
ThI
Project Group Theoretical Computer Science
MCL-P
0/0/4
Prof. Dr. Baader, Dr. Penaloza
ThI
Proseminar Ausgewählte Themen der Theoretischen Informatik
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
Prof. Dr. Baader, Dr. Turhan
ThI

Grundlagen der Programmierung


Lehrveranstaltung
Modul
SWS
Dozent
Institut
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
FAK-INF-LE, INF-B-240, INF-D-230, 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
Weighted Tree Automata
INF-04-FG-TP, INF-B-520, INF-BAS6, INF-VERT6, MCL-NLPA
4/2/0
Prof. Dr. Vogler
ThI



Sommersemester 2013