Lehrangebot Sommersemester 2013

Version vom 17.01.2013


Internationaler Master-Studiengang Computational Logic

Pflichtmodule

MCL-AL Advanced Logic


Lehrveranstaltung SWS Dozent Institut
Advanced Logic
4/2/0
Prof. Dr. Baier
ThI

MCL-ILS Integrated Logic Systems


Lehrveranstaltung SWS Dozent Institut
Deduction Systems
1/1/0
Prof. Bruscoli
KI
Semantic Search: Algorithms and Applications
2/2/0
Prof. Schroeder
BIOTEC

MCL-P Project


Lehrveranstaltung SWS Dozent Institut
Project Group Computational Logic
0/0/4
N.N.
KI
Project Group Knowledge Representation and Reasoning
0/0/4
Prof. Dr. Hölldobler
KI
Project Group Model Checking
0/0/4
Prof. Dr. Baier, Dr. Klüppelholz
ThI
Project Group Semantic Search
0/0/4
N.N.
KI

Wahlpflichtmodule

Von den 5 Wahlpflichtmodulen müssen 3 ausgewählt werden. In jedem ausgewählten Wahlpflichtmodul müssen Lehrveranstaltungen im Umfang von mindestens 8 SWS belegt werden. Dabei darf jede Lehrveranstaltung für höchstens ein Modul ausgewählt werden.

MCL-KR Knowledge Representation


Lehrveranstaltung SWS Dozent Institut
Knowledge Representation and Reasoning
0/2/0
Prof. Dr. Hölldobler
KI
Automata and Logic
4/2/0
Prof. Dr. Baader, Dr. Penaloza
ThI
Selected Topics in Proof Theory
0/2/0
Prof. Bruscoli
KI
Structured Proof Theory and Abstract Logic Programming
2/2/0
Prof. Bruscoli
KI

MCL-MV Modelling and Verification


Lehrveranstaltung SWS Dozent Institut
Fuzzy Description Logic
2/1/0
Prof. Dr. Baader, Dr. Distel
ThI
Lab Course Modeling and Automated Verification
0/0/4
Prof. Dr. Baier, Dr. Klüppelholz
ThI

MCL-NLPA Natural Language Processing and Automata


Lehrveranstaltung SWS Dozent Institut
Weighted Tree Automata
4/2/0
Prof. Dr. Vogler
ThI

MCL-TCSL Theoretical Computer Science and Logic


Lehrveranstaltung SWS Dozent Institut
Fuzzy Description Logic
2/1/0
Prof. Dr. Baader, Dr. Distel
ThI
Seminar Theoretical Computer Science
0/2/0
Prof. Dr. Baader, Dr. Turhan
ThI
Automata and Logic
4/2/0
Prof. Dr. Baader, Dr. Penaloza
ThI
Selected Topics in Proof Theory
0/2/0
Prof. Bruscoli
KI
Structured Proof Theory and Abstract Logic Programming
2/2/0
Prof. Bruscoli
KI

MCL-PI Principles of Inference


Lehrveranstaltung SWS Dozent Institut
Fuzzy Description Logic
2/1/0
Prof. Dr. Baader, Dr. Distel
ThI
Knowledge Representation and Reasoning
0/2/0
Prof. Dr. Hölldobler
KI
Automata and Logic
4/2/0
Prof. Dr. Baader, Dr. Penaloza
ThI
Selected Topics in Proof Theory
0/2/0
Prof. Bruscoli
KI
Structured Proof Theory and Abstract Logic Programming
2/2/0
Prof. Bruscoli
KI

MCL-CSE Computer Science Engineering


Lehrveranstaltung SWS Dozent Institut
Component Based Software Engineering
2/2/0
Prof. Dr. Aßmann
SMT
Distributed Operating Systems
2/1/0
Prof. Dr. Härtig
SyA
Internet and Web Applications
2/2/0
Prof. Dr. Schill
SyA
Security and Cryptography II
2/2/0
Dr. Kerschbaum, Dr. Köpsell
SyA
Wireless Sensor Networks
2/2/0
Prof. Dr. Schill, Dr. Dargie
SyA

MCL-PCS Presentation and Communication Skills


Lehrveranstaltung SWS Dozent Institut
Knowledge Representation and Reasoning
0/2/0
Prof. Dr. Hölldobler
KI
Seminar Theoretical Computer Science
0/2/0
Prof. Dr. Baader, Dr. Turhan
ThI
Selected Topics in Proof Theory
0/2/0
Prof. Bruscoli
KI



Lehrangebot Sommersemester 2013