Stundenplan Wintersemester 2019/20 - MCL-*

Version vom 25.10.2019



MCL-AI Artificial Intelligence

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Human Reasoning and Computational Logic

2/2/0

english

Prof. Hölldobler

KI

V
U
Mittwoch
Mittwoch
4.
5.
APB/E005
APB/E005
wöch.
wöch.
Introduction to Formal Concept Analysis

2/2/0

english

Prof. Rudolph

KI

V
U
Montag
Montag
2.
3.
APB/E005
APB/E005
wöch.
wöch.
Problem Solving and Search in AI

2/1/2

english

Dr. Gaggl

KI

V
U
Dienstag
Donnerstag
1.
1.
APB/E005
APB/E005
wöch.
wöch.

MCL-AL Advanced Logics

nach oben

Modulverantwortlicher: Prof.Baier, THI

Dieses Modul ist Bestandteil der Studiengänge:

Im Wintersemester 2019/20 werden in diesem Modul keine Lehrveranstaltungen angeboten.

MCL-CS Communication Skills

nach oben

Modulverantwortlicher: Prof.Krötzsch, THI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
German Course
0/2/0
deutsch


U
ZVZ

AVO


MCL-F Foundations

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Logic



2/2/0



english



Prof. Hölldobler



KI



V
V
U
U
Donnerstag
Montag
Mittwoch
Freitag
4.
4.
1.
4.
APB/E005
APB/E005
APB/E005
APB/E005
1. Wo.
1. Wo.
1. Wo.
1. Wo.
Science of Computational Logic



2/2/0



english



Prof. Hölldobler



KI



V
V
U
U
Montag
Donnerstag
Mittwoch
Freitag
4.
4.
1.
4.
APB/E005
APB/E005
APB/E005
APB/E005
2. Wo.
2. Wo.
2. Wo.
2. Wo.

MCL-FE Free Electives

nach oben

Modulverantwortlicher: Prof.Krötzsch, THI

Dieses Modul ist Bestandteil der Studiengänge:

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
Art
Tag
DS
Raum
Woche
Design Patterns and Frameworks

2/2/0

english

Dr. Götz

SMT

V
U
Dienstag
Mittwoch
5.
5.
APB/E023
HSZ/0101
wöch.
wöch.
Distributed Systems

2/2/0

english

Prof. Schill, Dr. Braun, Dr. Springer

SYA

V
U
Donnerstag
Dienstag
5.
2.
APB/E023
APB/E023
wöch.
wöch.
Transactional Information Systems

2/2/0

english

Prof. Lehner

SYA

V
U
Montag
Dienstag
4.
4.
APB/E010
APB/E001
wöch.
wöch.

MCL-ILS Integrated Logic Systems

nach oben

Modulverantwortlicher: Prof.Baader, THI

Dieses Modul ist Bestandteil der Studiengänge:

Im Wintersemester 2019/20 werden in diesem Modul keine Lehrveranstaltungen angeboten.

MCL-KR Knowledge Representation

nach oben

Modulverantwortlicher: Prof.Rudolph, KI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Complexity Theory


4/2/0


english


Prof. Krötzsch


THI


V
V
U
Montag
Dienstag
Mittwoch
2.
2.
3.
APB/E008
APB/E005
APB/E005
wöch.
wöch.
wöch.
Human Reasoning and Computational Logic

2/2/0

english

Prof. Hölldobler

KI

V
U
Mittwoch
Mittwoch
4.
5.
APB/E005
APB/E005
wöch.
wöch.
Introduction to Formal Concept Analysis

2/2/0

english

Prof. Rudolph

KI

V
U
Montag
Montag
2.
3.
APB/E005
APB/E005
wöch.
wöch.
Introduction to Non-monotonic Reasoning

2/2/0

english

Dr. Turhan

THI

V
U
Dienstag
Donnerstag
6.
6.
APB/E005
APB/E005
wöch.
wöch.
Knowledge Graphs

2/2/0

english

Prof. Krötzsch

THI

V
U
Dienstag
Dienstag
3.
5.
APB/E005
APB/E005
wöch.
wöch.
Problem Solving and Search in AI

2/1/2

english

Dr. Gaggl

KI

V
U
Dienstag
Donnerstag
1.
1.
APB/E005
APB/E005
wöch.
wöch.

MCL-LCP Logic and Constraint Programming

nach oben

Modulverantwortlicher: Prof.Rudolph, KI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Foundations of Constraint Programming

1/1/0

english

Prof. Rudolph

KI

V
U
Montag
Montag
6.
6.
APB/E005
APB/E005
1. Wo.
2. Wo.
Foundations of Logic Programming

2/1/0

english

Prof. Rudolph

KI

V
U
Montag
Freitag
5.
5.
APB/E005
APB/E005
wöch.
2. Wo.
Tutorial Logic Programming Engineering
0/2/0
english
Prof. Baier, Dr. Klüppelholz
THI
U
Dienstag
4.
APB/E067
wöch.

MCL-P Project

nach oben

Modulverantwortlicher: Fakultät Informatik, INF

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Project Group Computational Logic
0/0/4
english
Prof. Rudolph
KI
P
ZVZ

AVO

Project Group Knowledge Representation and Reasoning
0/0/4
english
Prof. Hölldobler
KI
P
ZVZ

AVO

Project Group Knowledge-Based Systems
0/0/4
english
Prof. Krötzsch
THI
P
ZVZ

AVO

Project Group Model Checking
0/0/4
english
Prof. Baier
THI
P
ZVZ

AVO

Project Group Theoretical Computer Science
0/0/4
english
Prof. Baader, Dr.-Ing. Borgwardt
THI
P
ZVZ

AVO


MCL-PI Principles of Inference

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Complexity Theory


4/2/0


english


Prof. Krötzsch


THI


V
V
U
Dienstag
Montag
Mittwoch
2.
2.
3.
APB/E005
APB/E008
APB/E005
wöch.
wöch.
wöch.
Human Reasoning and Computational Logic

2/2/0

english

Prof. Hölldobler

KI

V
U
Mittwoch
Mittwoch
4.
5.
APB/E005
APB/E005
wöch.
wöch.
Introduction to Formal Concept Analysis

2/2/0

english

Prof. Rudolph

KI

V
U
Montag
Montag
2.
3.
APB/E005
APB/E005
wöch.
wöch.
Problem Solving and Search in AI

2/1/2

english

Dr. Gaggl

KI

V
U
Dienstag
Donnerstag
1.
1.
APB/E005
APB/E005
wöch.
wöch.

MCL-PS Presentation Skills

nach oben

Modulverantwortlicher: Prof.Krötzsch, THI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Knowledge Representation and Reasoning
0/2/0
english
Prof. Hölldobler
KI
U
Donnerstag
5.
APB/E005
wöch.
Lab Course Modeling and Automated Verification
0/2/0
english
Prof. Baier
THI
P
Freitag
1.
APB/E005
wöch.
Seminar Selected Topics in Database Theory
0/2/0
english
Prof. Krötzsch, Dr. Carral
THI
U
Mittwoch
6.
APB/E005
wöch.
Seminar Selected Topics in Logic and Verification
0/2/0
english
Prof. Baier
THI
U
Donnerstag
1.
AVO
wöch.
Seminar Selected Topics of Computational Logic
0/2/0
english
Prof. Rudolph, Dr. Gaggl
KI
U
ZVZ

AVO

Seminar Theoretical Computer Science
0/2/0
english
Prof. Baader, Dr. Turhan
THI
U
Montag
5.
AVO
wöch.

MCL-TCSL Theoretical Computer Science and Logic

nach oben

Modulverantwortlicher: Prof.Baader, THI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Complexity Theory


4/2/0


english


Prof. Krötzsch


THI


V
V
U
Montag
Dienstag
Mittwoch
2.
2.
3.
APB/E008
APB/E005
APB/E005
wöch.
wöch.
wöch.
Introduction to Non-monotonic Reasoning

2/2/0

english

Dr. Turhan

THI

V
U
Dienstag
Donnerstag
6.
6.
APB/E005
APB/E005
wöch.
wöch.
Knowledge Graphs

2/2/0

english

Prof. Krötzsch

THI

V
U
Dienstag
Dienstag
3.
5.
APB/E005
APB/E005
wöch.
wöch.
Model Checking



4/4/0



english



Prof. Baier, Dr. Klüppelholz



THI



V
V
U
U
Freitag
Donnerstag
Freitag
Donnerstag
2.
2.
3.
3.
APB/E005
APB/E005
APB/E005
APB/E005
wöch.
wöch.
wöch.
wöch.

Anmerkungen

nach oben

Tag, Raum

Woche

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:



Stundenplan Wintersemester 2019/20 - MCL-*