Internationaler Master-Studiengang Computational Logic
Studienablaufplan Master Computational Logic
Pflichtmodule
MCL-AL
In diesem Modul werden keine Lehrveranstaltungen angeboten.
MCL-ILS
In diesem Modul werden keine Lehrveranstaltungen angeboten.
MCL-P Project
Lehrveranstaltung
|
SWS
|
Dozent
|
Institut
|
Project Group Computational Logic
|
0/0/4
|
Prof. Rudolph
|
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
|
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
|
KI
|
Foundations of Logic Programming
|
2/1/0
|
Prof. Rudolph
|
KI
|
Logic Programming Engineering
|
0/2/0
|
Dr. Nauber
|
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-CSE Computer Science Engineering
MCL-KR Knowledge Representation and Artificial Intelligence
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
|
KI
|
SAT Solving
|
2/2/0
|
Prof. Dr. Hölldobler
|
KI
|
Seminar Abstract Argumentation
|
0/2/0
|
Dr. Gaggl
|
KI
|
MCL-MV Modeling and Verification
In diesem Modul werden keine Lehrveranstaltungen angeboten.
MCL-NLPA Natural Language Processing and Automata
In diesem Modul werden keine Lehrveranstaltungen angeboten.
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
|
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
|
Seminar Abstract Argumentation
|
0/2/0
|
Dr. Gaggl
|
KI
|
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
|
KI
|
SAT Solving
|
2/2/0
|
Prof. Dr. Hölldobler
|
KI
|
MCL-TCSL Theoretical Computer Science and Logic