Studienablaufplan für Computational Logic
Pflichtmodule
nach oben
MCL-AL Advanced Logics
nach oben
Lehrveranstaltung
|
SWS
|
Sprache
|
Dozent
|
Institut
|
Automata and Logic
|
4/2/0
|
english
|
Prof. Baader, Dr. Penaloza
|
THI
|
MCL-ILS Integrated Logic Systems
nach oben
Lehrveranstaltung
|
SWS
|
Sprache
|
Dozent
|
Institut
|
Deduction Systems
|
1/1/0
|
english
|
Prof. Rudolph
|
KI
|
Semantic Search: Algorithms and Applications
|
2/2/0
|
english
|
Prof. Schroeder
|
BIOTEC
|
MCL-P Project
nach oben
Lehrveranstaltung
|
SWS
|
Sprache
|
Dozent
|
Institut
|
Project Group Computational Logic
|
0/0/4
|
english
|
Prof. Rudolph
|
KI
|
Project Group Knowledge Representation and Reasoning
|
0/0/4
|
english
|
Prof. Hölldobler
|
KI
|
Project Group Model Checking
|
0/0/4
|
english
|
Prof. Baier, Dr. Klüppelholz
|
THI
|
Project Group Semantic Search
|
0/0/4
|
english
|
Prof. Schroeder
|
BIOTEC
|
Project Group Theoretical Computer Science
|
0/0/4
|
english
|
Prof. Baader, Dr. Penaloza
|
THI
|
Wahlpflichtmodule
nach oben
MCL-CSE Computer Science Engineering
nach oben
MCL-KR Knowledge Representation
nach oben
Lehrveranstaltung
|
SWS
|
Sprache
|
Dozent
|
Institut
|
Automata and Logic
|
4/2/0
|
english
|
Prof. Baader, Dr. Penaloza
|
THI
|
Foundations of Semantic Web Technologies
|
4/2/0
|
english
|
Prof. Rudolph
|
KI
|
Knowledge Representation and Reasoning
|
0/2/0
|
english
|
Prof. Hölldobler
|
KI
|
Problem Solving and Search in AI
|
2/1/0
|
english
|
Dr. Gaggl
|
KI
|
SAT Solving
|
2/2/0
|
english
|
Prof. Hölldobler
|
KI
|
MCL-PCS Presentation and Communication Skills
nach oben
MCL-PI Principles of Inference
nach oben
Lehrveranstaltung
|
SWS
|
Sprache
|
Dozent
|
Institut
|
Automata and Logic
|
4/2/0
|
english
|
Prof. Baader, Dr. Penaloza
|
THI
|
Foundations of Semantic Web Technologies
|
4/2/0
|
english
|
Prof. Rudolph
|
KI
|
Knowledge Representation and Reasoning
|
0/2/0
|
english
|
Prof. Hölldobler
|
KI
|
Problem Solving and Search in AI
|
2/1/0
|
english
|
Dr. Gaggl
|
KI
|
SAT Solving
|
2/2/0
|
english
|
Prof. Hölldobler
|
KI
|
Seminar Theoretical Computer Science
|
0/2/0
|
english
|
Prof. Baader, Dr. Lippmann
|
THI
|
MCL-TCSL Theoretical Computer Science and Logic
nach oben
Anmerkungen
nach oben
Semester im Sinne der Prüfungs- und Studienordnung.
Master-Niveau Die Lehrveranstaltung ist an Master- bzw. Diplomstudenten im Hauptstudium gerichtet. Diese Angebot ist optional und nur für fortgeschrittene Studenten empfohlen.
Module Zusätzlich zu den Modulen aus Bachelor/Master/Diplom Informatik, Medieninformatik und Informationssystemtechnik gibt es noch folgende Module für andere Studiengänge
-
MCL-* ... Master Computational Logic
-
DSE-10* ... Master Distributed Systems Engineering (PO 2010)
-
DSE-14* ... Master Distributed Systems Engineering (PO 2014)
-
INF-LA* ... Bachelor/Master Lehramt
-
INF-SE* ... Staatsexamen Lehramt
und folgende "Module" für ältere Studiengänge und Sonstiges
-
INF-04-* ... Diplom Informatik, Studienordnung 2004
-
MINF-04-* ... Diplom Medieninformatik, Studienordnung 2004
-
IST-05-* ... Diplom Informationssystemtechnik, Studienordnung 2005
-
INF-LE-* ... Lehrexport an andere Fakultäten
-
FAK-INF-FF ... Fakultative Fächer
Prüfung Art und Dauer von Prüfungsleistungen sind den Modulbeschreibungen zu entnehmen. Ausnahmen hierfür sind die Module INF-AQUA, INF-B-510/20/30/40, INF-B-610 und INF-D-940 - hier wird die Prüfungsform der jeweiligen Lehrveranstaltung explizit angegeben.
Mögliche Prüfungsformen sind:
-
Seminararbeit und Präsentation
-
P(m) ... mündliche Prüfung
-
P(s) ... schriftliche Prüfung
-
P(PP) ... Praktikumsprotokoll
-
P(sA) ... schriftliche Ausarbeitung/Seminararbeit
-
P(PA) ... Projektarbeit
-
P(PE) ... bewertbares Ergebnis des Praktikums