Stundenplan Wintersemester 2017/18 - Computational Logic, 2017 (Studienordnung 2017)

Version vom 16.10.2017



Pflichtmodule

nach oben

MCL-F Foundations

nach oben


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Foundations Repetition
0/2/0
english
Prof. Hölldobler
KI
U
ZVZ

AVO

Logic



2/2/0



english



Prof. Hölldobler



KI



V
V
U
U
Montag
Donnerstag
Dienstag
Freitag
4.
4.
2.
6.
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
Dienstag
Freitag
4.
4.
2.
6.
APB/E005
APB/E005
APB/E005
APB/E005
2. Wo.
2. Wo.
2. Wo.
2. Wo.

MCL-LCP Logic and Constraint Programming

nach oben


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.
1. 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


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 Model Checking
0/0/4
english
Prof. Baier
THI
P
ZVZ

AVO

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

AVO


Wahlpflichtmodule

nach oben

MCL-KR Knowledge Representation

nach oben


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


4/2/0


english


Prof. Krötzsch


THI


V
V
U
Dienstag
Mittwoch
Dienstag
3.
6.
5.
APB/E005
APB/E005
APB/E005
wöch.
wöch.
wöch.
Human Reasoning and Computational Logic


4/2/0


english


Prof. Hölldobler


KI


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

2/2/0

english

Prof. Rudolph

KI

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

2/2/0

english

Dr. Turhan

THI

V
V
Mittwoch
Freitag
2.
4.
APB/E005
APB/E005
wöch.
wöch.
Knowledge Representation and Reasoning
0/2/0
english
Prof. Hölldobler
KI
U
Montag
6.
AVO
wöch.
Seminar Practical Planning for Angry Birds
0/2/0
english
Prof. Rudolph
KI
U
Freitag
5.
AVO
wöch.

MCL-PI Principles of Inference

nach oben


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


4/2/0


english


Prof. Krötzsch


THI


V
V
U
Dienstag
Mittwoch
Dienstag
3.
6.
5.
APB/E005
APB/E005
APB/E005
wöch.
wöch.
wöch.
Description Logic


4/2/0


english


Prof. Baader


THI


V
V
U
Dienstag
Donnerstag
Mittwoch
6.
6.
5.
APB/E005
APB/E005
APB/E005
wöch.
wöch.
wöch.
Human Reasoning and Computational Logic


4/2/0


english


Prof. Hölldobler


KI


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

2/2/0

english

Prof. Rudolph

KI

V
U
Montag
Montag
3.
2.
APB/E005
APB/E005
wöch.
wöch.
Knowledge Representation and Reasoning
0/2/0
english
Prof. Hölldobler
KI
U
Montag
6.
AVO
wöch.
Seminar Further Topics in Description Logics
0/2/0
english
Prof. Baader, Dr. Turhan
THI
U
ZVZ

AVO

Seminar Practical Planning for Angry Birds
0/2/0
english
Prof. Rudolph
KI
U
Freitag
5.
AVO
wöch.

MCL-TCSL Theoretical Computer Science and Logic

nach oben


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


4/2/0


english


Prof. Krötzsch


THI


V
V
U
Dienstag
Mittwoch
Dienstag
3.
6.
5.
APB/E005
APB/E005
APB/E005
wöch.
wöch.
wöch.
Description Logic


4/2/0


english


Prof. Baader


THI


V
V
U
Dienstag
Donnerstag
Mittwoch
6.
6.
5.
APB/E005
APB/E005
APB/E005
wöch.
wöch.
wöch.
Introduction to Non-monotonic Reasoning

2/2/0

english

Dr. Turhan

THI

V
V
Mittwoch
Freitag
2.
4.
APB/E005
APB/E005
wöch.
wöch.
Model Checking

4/4/0

english

Prof. Baier, Dr. Klüppelholz

THI

U
U
Donnerstag
Freitag
2., 3.
2., 3.
APB/E005
APB/E005
wöch.
wöch.
Seminar Further Topics in Description Logics
0/2/0
english
Prof. Baader, Dr. Turhan
THI
U
ZVZ

AVO


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 2017/18 - Computational Logic, 2017 (Studienordnung 2017)