Wintersemester 2013/14

Version vom 18.06.2013

Internationaler Master-Studiengang Computational Logic

Studienablaufplan Master Computational Logic

Pflichtmodule

MCL-F Foundations


Lehrveranstaltung
 SWS
 Dozent
 Institut
Logic
 2/2/0
 Prof. Dr. Hölldobler
 KI
Science of Computational Logic
 2/2/0
 Prof. Dr. Hölldobler
 KI

MCL-LCP Logic and Constraint Programming


Lehrveranstaltung
 SWS
 Dozent
 Institut
Foundations of Constraint Programming
 1/1/0
 Prof. Rudolph (unter Vorbehalt)
 KI
Foundations of Logic Programming
 2/1/0
 Prof. Rudolph (unter Vorbehalt)
 KI
Logic Programming Engineering
 0/2/0
 Dr. Nauber
 ThI

MCL-P Project


Lehrveranstaltung
 SWS
 Dozent
 Institut
Project Group Computational Logic
 0/0/4
 Prof. Rudolph (unter Vorbehalt)
 KI
Project Group Knowledge Representation and Reasoning
 0/0/4
 Prof. Dr. Hölldobler
 KI
Project Group Model Checking
 0/0/4
 Dr. Klüppelholz
 ThI
Project Group Semantic Search
 0/0/4
 Prof. Schroeder
 BIOTEC
Project Group Theoretical Computer Science
 0/0/4
 Dr. Penaloza
 ThI

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
Introduction to Formal Concept Analysis
 2/2/0
 Prof. Rudolph (unter Vorbehalt)
 KI
SAT Solving
 2/2/0
 Prof. Dr. Hölldobler
 KI
Abstract Argumentation
 0/2/0
 Dr. Gaggl
 KI

MCL-TCSL Theoretical Computer Science and Logic


Lehrveranstaltung
 SWS
 Dozent
 Institut
Description Logic
 4/2/0
 Dr. Penaloza
 ThI
Seminar Theoretical Computer Science
 0/2/0
 Dr. Turhan
 ThI
Design and Analysis of Petri Net
 1/1/0
 Dr. Nauber
 ThI

MCL-PI Principles of Inference


Lehrveranstaltung
 SWS
 Dozent
 Institut
Description Logic
 4/2/0
 Dr. Penaloza
 ThI
Knowledge Representation and Reasoning
 0/2/0
 Prof. Dr. Hölldobler
 KI
Seminar Theoretical Computer Science
 0/2/0
 Dr. Turhan
 ThI
Introduction to Formal Concept Analysis
 2/2/0
 Prof. Rudolph (unter Vorbehalt)
 KI
SAT Solving
 2/2/0
 Prof. Dr. Hölldobler
 KI

MCL-CSE Computer Science Engineering


Lehrveranstaltung
 SWS
 Dozent
 Institut
Design Patterns and Frameworks
 2/2/0
 Prof. Dr. Aßmann
 SMT
Distributed Systems
 2/2/0
 Prof. Dr. Schill
 SyA
Mobile Communication and Mobile Computing
 2/0/0
 Prof. Dr. Schill
 SyA
Security and Cryptography I
 2/2/0
 Dr. Köpsell
 SyA
Transactional Information Systems
 2/2/0
 Prof. Dr. Lehner
 SyA

MCL-PCS Presentation and Communication Skills


Lehrveranstaltung
 SWS
 Dozent
 Institut
Academic Writing and Presenting
 2/0/0
 Prof. Dr. Hölldobler
 KI
Knowledge Representation and Reasoning
 0/2/0
 Prof. Dr. Hölldobler
 KI
Selected Topics of Logics and Complexity
 0/2/0
 Prof. Dr. Baier, Dr. Klüppelholz
 ThI
Seminar Theoretical Computer Science
 0/2/0
 Dr. Turhan
 ThI
Lab Course Modeling and Automated Verification
 0/0/4
 Dr. Klüppelholz
 ThI
Seminar Selected Topics in Logic and Verification
 0/2/0
 Dr. Klüppelholz
 ThI
Abstract Argumentation
 0/2/0
 Dr. Gaggl
 KI


Wintersemester 2013/14