Stundenplan Wintersemester 2014/15 - MCL-*

Version vom 12.11.2014



MCL-AL Advanced Logics

nach oben

Modulverantwortlicher: Prof.Baier, THI

Dieses Modul ist Bestandteil der Studiengänge:

Im Wintersemester 2014/15 werden in diesem Modul keine Lehrveranstaltungen angeboten.

MCL-CSE Computer Science Engineering

nach oben

Modulverantwortlicher: Fakultät Informatik, INF

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Design Patterns and Frameworks

2/2/0

english

Prof. Aßmann, Dr. Götz

SMT

V
U
Dienstag
Mittwoch
5.
3.
INF/E023
INF/E023
wöch.
wöch.
Distributed Systems

2/2/0

english

Prof. Schill, Dr. Springer

SYA

V
U
Donnerstag
Dienstag
6.
2.
JAN/0027
INF/E023
wöch.
wöch.
Mobile Communication and Mobile Computing
2/0/0
english
Prof. Schill, Dr. Dargie
SYA
V
Donnerstag
4.
INF/E023
wöch.
Security and Cryptography I
2/2/0
english
Prof. Strufe, Dr. Köpsell
SYA
V
Donnerstag
2., 3.
INF/E023
wöch.
Transactional Information Systems

2/2/0

english

Prof. Lehner, PD Dr. Behrend

SYA

V
U
Dienstag
Mittwoch
4.
5.
INF/E001
AVO
wöch.
wöch.

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. Kurfess, Prof. Hölldobler



KI



V
V
U
U
Mittwoch
Donnerstag
Montag
Dienstag
4.
4.
5.
3.
INF/E005
INF/E005
INF/E005
INF/E005
1. Wo.
1. Wo.
1. Wo.
1. Wo.
Science of Computational Logic



2/2/0



english



Prof. Rudolph



KI



V
V
U
U
Mittwoch
Donnerstag
Montag
Dienstag
4.
4.
5.
3.
INF/E005
INF/E005
INF/E005
INF/E005
2. Wo.
2. Wo.
2. Wo.
2. Wo.

MCL-ILS Integrated Logic Systems

nach oben

Modulverantwortlicher: Dr.Schröder, MATH

Dieses Modul ist Bestandteil der Studiengänge:

Im Wintersemester 2014/15 werden in diesem Modul keine Lehrveranstaltungen angeboten.

MCL-KR Knowledge Representation

nach oben

Modulverantwortlicher: Prof.Rother, KI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Introduction to Formal Concept Analysis

2/2/0

english

Prof. Rudolph

KI

V
U
Donnerstag
Mittwoch
2.
2.
INF/E005
INF/E005
wöch.
wöch.
Knowledge Representation and Reasoning
0/2/0
english
Prof. Hölldobler
KI
U
Mittwoch
6.
INF/E005
wöch.
Seminar Abstract Argumentation
0/2/0
english
Prof. Rudolph, Dr. Gaggl
KI
U
Freitag
2.
INF/E005
wöch.

MCL-LCP Logic and Constraint Programming

nach oben

Modulverantwortlicher: Prof.Rother, 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
Donnerstag
3.
INF/E005
wöch.
Foundations of Logic Programming

2/1/0

english

Prof. Rudolph

KI

U
U
Montag
Mittwoch
4.
3.
INF/E005
INF/E005
wöch.
wöch.
Logic Programming Engineering
0/2/0
english
Prof. Baier, Dr. Klüppelholz
THI
U
Montag
2.
INF/E005
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 Model Checking
0/0/4
english
Prof. Baier, Dr. Klüppelholz
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. Penaloza
THI
P
ZVZ

AVO


MCL-PCS Presentation and Communication Skills

nach oben

Modulverantwortlicher: Fakultät Informatik, INF

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
Mittwoch
6.
INF/E005
wöch.
Lab Course Modeling and Automated Verification
0/2/0
english
Prof. Baier, Dr. Peters, Dr. Klüppelholz
THI
U
Freitag
4.
INF/E005
wöch.
Seminar Abstract Argumentation
0/2/0
english
Prof. Rudolph, Dr. Gaggl
KI
U
Freitag
2.
INF/E005
wöch.
Seminar Model Checking
0/2/0
english
Prof. Baier, Dr. Peters, Dr. Klüppelholz
THI
U
Montag
3.
INF/E005
wöch.

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
Description Logic


4/2/0


english


Prof. Baader, Dr. Turhan


THI


V
V
U
Dienstag
Donnerstag
Mittwoch
6.
6.
5.
INF/E005
INF/E005
INF/E005
wöch.
wöch.
wöch.
Introduction to Complexity Theory

2/1/0

english

Prof. Baader, Dr. Penaloza

THI

V
U
Dienstag
Montag
2.
4.
INF/E005
INF/E005
wöch.
wöch.
Introduction to Formal Concept Analysis

2/2/0

english

Prof. Rudolph

KI

V
U
Donnerstag
Mittwoch
2.
2.
INF/E005
INF/E005
wöch.
wöch.
Knowledge Representation and Reasoning
0/2/0
english
Prof. Hölldobler
KI
U
Mittwoch
6.
INF/E005
wöch.
Seminar Theoretical Computer Science
0/2/0
english
Prof. Baader, Dr. Lippmann
THI
U
ZVZ

AVO


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
Description Logic


4/2/0


english


Prof. Baader, Dr. Turhan


THI


V
V
U
Dienstag
Donnerstag
Mittwoch
6.
6.
5.
INF/E005
INF/E005
INF/E005
wöch.
wöch.
wöch.
Introduction to Complexity Theory

2/1/0

english

Prof. Baader, Dr. Penaloza

THI

V
U
Dienstag
Montag
2.
4.
INF/E005
INF/E005
wöch.
wöch.
Seminar Theoretical Computer Science
0/2/0
english
Prof. Baader, Dr. Lippmann
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 2014/15 - MCL-*