Lehrangebot Sommersemester 2020 - Computational Logic (Studienordnung 2013)

Version vom 24.02.2020



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-CS Communication Skills

nach oben


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Academic Skills in Computer Science
2/2/0
english
Prof. Rudolph
KI
German Course
0/2/0
deutsch



MCL-ILS Integrated Logic Systems

nach oben


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Deduction Systems
1/1/0
english
Prof. Rudolph
KI
Logic-based Ontology Engineering
2/2/0
english
Dr.-Ing. Borgwardt
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
THI
Project Group Theoretical Computer Science
0/0/4
english
Prof. Baader, Dr.-Ing. Borgwardt
THI

MCL-PS Presentation 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
THI
Logical Modeling
0/2/0
english
Prof. Rudolph
KI
Seminar Selected Topics in Logic and Verification
0/2/0
english
Prof. Baier
THI
Seminar Theoretical Computer Science
0/2/0
english
Prof. Baader, Dr. Turhan
THI

Wahlpflichtmodule

nach oben

MCL-AI Artificial Intelligence

nach oben


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Description Logic
4/2/0
english
Dr. Turhan
THI
Machine Learning 2
2/2/0
english
Prof. Dr. Andres
KI
Problem Solving and Search in AI
2/2/2
english
Dr. Gaggl
KI

MCL-FE Free Electives

nach oben

All lectures at TUD, which are on the master's level, which are related to Computational Logic, and which are not already assigned to any CL-module may be selected. Please contact the module representative.


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Wireless Sensor Networks
2/2/0
english
Dr. Dargie
SMT

MCL-KR Knowledge Representation

nach oben


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Database Theory
4/2/0
english
Dr. Carral
THI
KRR-Reading Class
2/2/0
english
Prof. Hölldobler
KI
Parameterized Algorithms and Implementations for SAT and Generalizations
2/1/1
english
Dr. Fichte
KI
Problem Solving and Search in AI
2/2/2
english
Dr. Gaggl
KI

MCL-PI Principles of Inference

nach oben


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Database Theory
4/2/0
english
Dr. Carral
THI
Description Logic
4/2/0
english
Dr. Turhan
THI
KRR-Reading Class
2/2/0
english
Prof. Hölldobler
KI
Parameterized Algorithms and Implementations for SAT and Generalizations
2/1/1
english
Dr. Fichte
KI
Problem Solving and Search in AI
2/2/2
english
Dr. Gaggl
KI

MCL-TCSL Theoretical Computer Science and Logic

nach oben


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Database Theory
4/2/0
english
Dr. Carral
THI
Description Logic
4/2/0
english
Dr. Turhan
THI
Probabilistic Model Checking
1/1/0
english
Dr. Klüppelholz
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

und folgende "Module" für ältere Studiengänge und Sonstiges

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:



Lehrangebot Sommersemester 2020 - Computational Logic (Studienordnung 2013)