Studienablaufplan für Computational Logic
Pflichtmodule
nach oben
MCL-F Foundations
nach oben
Lehrveranstaltung
|
SWS
|
Sprache
|
Dozent
|
Institut
|
Logic
|
2/2/0
|
english
|
Prof. Kurfess, Prof. Hölldobler
|
KI
|
Science of Computational Logic
|
2/2/0
|
english
|
Prof. Rudolph
|
KI
|
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
|
Logic Programming Engineering
|
0/2/0
|
english
|
Dr. Klüppelholz
|
THI
|
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
|
Introduction to Formal Concept Analysis
|
2/2/0
|
english
|
Prof. Rudolph
|
KI
|
Knowledge Representation and Reasoning
|
0/2/0
|
english
|
Prof. Hölldobler
|
KI
|
Seminar Abstract Argumentation
|
0/2/0
|
english
|
Dr. Gaggl
|
KI
|
MCL-PCS Presentation and Communication Skills
nach oben
Lehrveranstaltung
|
SWS
|
Sprache
|
Dozent
|
Institut
|
Knowledge Representation and Reasoning
|
0/2/0
|
english
|
Prof. Hölldobler
|
KI
|
Lab Course Modeling and Automated Verification
|
0/2/0
|
english
|
Prof. Baier, Dr. Peters, Dr. Klüppelholz
|
THI
|
Seminar Abstract Argumentation
|
0/2/0
|
english
|
Dr. Gaggl
|
KI
|
Seminar Model Checking
|
0/2/0
|
english
|
Prof. Baier, Dr. Peters, Dr. Klüppelholz
|
THI
|
MCL-PI Principles of Inference
nach oben
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.
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
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-* ... Master Distributed Systems Engineering
-
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