Studienablaufplan für Computational Logic
Pflichtmodule
nach oben
MCL-CS Communication Skills
nach oben
Lehrveranstaltung
|
SWS
|
Sprache
|
Dozent
|
Institut
|
German Course
|
0/2/0
|
deutsch
|
|
|
MCL-F Foundations
nach oben
MCL-LCP Logic and Constraint Programming
nach oben
Lehrveranstaltung
|
SWS
|
Sprache
|
Dozent
|
Institut
|
Foundations of Constraint Programming
|
1/1/0
|
english
|
Prof. Rudolph
|
KI
|
Foundations of Logic Programming
|
2/1/0
|
english
|
Prof. Rudolph
|
KI
|
Tutorial Logic Programming Engineering
|
0/2/0
|
english
|
Prof. Baier, Dr. Klüppelholz
|
THI
|
MCL-P Project
nach oben
MCL-PS Presentation Skills
nach oben
Wahlpflichtmodule
nach oben
MCL-AI Artificial Intelligence
nach oben
MCL-FE Free Electives
nach oben
In diesem Semester werden in diesem Modul keine Lehrveranstaltungen angeboten.
MCL-KR Knowledge Representation
nach oben
Lehrveranstaltung
|
SWS
|
Sprache
|
Dozent
|
Institut
|
Automata and Logic
|
4/2/0
|
english
|
Dr. Turhan
|
THI
|
Complexity Theory
|
4/2/0
|
english
|
Prof. Krötzsch
|
THI
|
Fuzzy Description Logic
|
2/2/0
|
english
|
Dr.-Ing. Borgwardt
|
THI
|
Introduction to Formal Concept Analysis
|
2/2/0
|
english
|
Prof. Rudolph
|
KI
|
Semantic Computing
|
2/2/0
|
english
|
Dr. phil. Gromann
|
KI
|
Seminar Practical Planning for Angry Birds
|
0/2/0
|
english
|
Prof. Rudolph
|
KI
|
MCL-PI Principles of Inference
nach oben
Lehrveranstaltung
|
SWS
|
Sprache
|
Dozent
|
Institut
|
Automata and Logic
|
4/2/0
|
english
|
Dr. Turhan
|
THI
|
Complexity Theory
|
4/2/0
|
english
|
Prof. Krötzsch
|
THI
|
Introduction to Formal Concept Analysis
|
2/2/0
|
english
|
Prof. Rudolph
|
KI
|
Seminar Practical Planning for Angry Birds
|
0/2/0
|
english
|
Prof. Rudolph
|
KI
|
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
-
CMS-* .... Master Computational Modeling and Simulation
-
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