Studienablaufplan für Computational Logic
Pflichtmodule
nach oben
MCL-AL Advanced Logics
nach oben
Lehrveranstaltung
|
SWS
|
Sprache
|
Dozent
|
Institut
|
Advanced Logics
|
4/2/0
|
english
|
Prof. Baier
|
THI
|
MCL-ILS Integrated Logic Systems
nach oben
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
MCL-PI Principles of Inference
nach oben
MCL-TCSL Theoretical Computer Science and Logic
nach oben
Lehrveranstaltung
|
SWS
|
Sprache
|
Dozent
|
Institut
|
Database Theory
|
4/2/0
|
english
|
Prof. Krötzsch
|
THI
|
Seminar Existential Rules
|
0/2/0
|
english
|
Prof. Krötzsch
|
THI
|
Term Rewriting Systems
|
4/2/0
|
english
|
Prof. Baader
|
THI
|
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