Stundenplan Sommersemester 2018 - Computational Logic, 2017 (Studienordnung 2017)

Version vom 23.02.2018



Pflichtmodule

nach oben

MCL-AL Advanced Logics

nach oben


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Advanced Logics


4/2/0


english


Prof. Baier


THI


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

MCL-ILS Integrated Logic Systems

nach oben


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Deduction Systems

1/1/0

english

Prof. Krötzsch

THI

V
U
Montag
Montag
3.
3.
APB/E005
APB/E005
1. Wo.
2. Wo.
Logic-based Ontology Engineering

2/2/0

english

Dr.-Ing. Borgwardt

THI

V
V
Mittwoch
Mittwoch
2.
4.
APB/E005
APB/E005
wöch.
wöch.
Semantic Search: Algorithms and Applications
2/2/0
english
Prof. Schroeder
BIOTEC
V
ZVZ

AVO


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 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 Semantic Search
0/0/4
english
Prof. Schroeder
BIOTEC
P
ZVZ

AVO

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

AVO


MCL-PS Presentation Skills

nach oben


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Knowledge Representation and Reasoning
0/2/0
english
Prof. Hölldobler
KI
U
Montag
4.
APB/E005
wöch.
Lab Course Modeling and Automated Verification
0/2/0
english
Prof. Baier
THI
P
Freitag
5.
AVO
wöch.
Seminar Existential Rules
0/2/0
english
Prof. Krötzsch
THI
U
Mittwoch
3.
APB/E005
wöch.
Seminar Selected Topics in Logic and Verification
0/2/0
english
Prof. Baier
THI
U
Freitag
3.
APB/E005
wöch.

Wahlpflichtmodule

nach oben

MCL-AI Artificial Intelligence

nach oben


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Term Rewriting Systems


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.

MCL-KR Knowledge Representation

nach oben


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Conditional Reasoning

2/2/0

english

Prof. Hölldobler

KI

V
U
Donnerstag
Donnerstag
4.
5.
APB/E005
APB/E005
wöch.
wöch.
Database Theory


4/2/0


english


Prof. Krötzsch


THI


V
V
U
Dienstag
Dienstag
Dienstag
2.
3.
5.
APB/E005
APB/E005
APB/E005
wöch.
wöch.
wöch.
Knowledge Representation and Reasoning
0/2/0
english
Prof. Hölldobler
KI
U
Montag
4.
APB/E005
wöch.

MCL-PI Principles of Inference

nach oben


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Conditional Reasoning

2/2/0

english

Prof. Hölldobler

KI

V
U
Donnerstag
Donnerstag
4.
5.
APB/E005
APB/E005
wöch.
wöch.
Database Theory


4/2/0


english


Prof. Krötzsch


THI


V
V
U
Dienstag
Dienstag
Dienstag
2.
3.
5.
APB/E005
APB/E005
APB/E005
wöch.
wöch.
wöch.
Knowledge Representation and Reasoning
0/2/0
english
Prof. Hölldobler
KI
U
Montag
4.
APB/E005
wöch.
Seminar Theoretical Computer Science
0/2/0
english
Prof. Baader, Dr. Turhan
THI
U
Freitag
4.
APB/E005
wöch.
Term Rewriting Systems


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.

MCL-TCSL Theoretical Computer Science and Logic

nach oben


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


4/2/0


english


Prof. Krötzsch


THI


V
V
U
Dienstag
Dienstag
Dienstag
2.
3.
5.
APB/E005
APB/E005
APB/E005
wöch.
wöch.
wöch.
Seminar Existential Rules
0/2/0
english
Prof. Krötzsch
THI
U
Mittwoch
3.
APB/E005
wöch.
Seminar Theoretical Computer Science
0/2/0
english
Prof. Baader, Dr. Turhan
THI
U
Freitag
4.
APB/E005
wöch.
Term Rewriting Systems


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.

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 Sommersemester 2018 - Computational Logic, 2017 (Studienordnung 2017)