Stundenplan Sommersemester 2015 - MCL-*

Version vom 08.05.2015



MCL-AL Advanced Logics

nach oben

Modulverantwortlicher: Prof.Baier, THI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Art
Tag
DS
Raum
Woche
Automata and Logic


4/2/0


english


Prof. Baader, Dr. Borchmann


THI


V
V
U
Dienstag
Donnerstag
Mittwoch
6.
6.
5.
APB/E005
APB/E005
APB/E005
wöch.
wöch.
wöch.

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
Component Based Software Engineering

2/2/0

english

Prof. Aßmann

SMT

V
U
Mittwoch
Freitag
2.
5.
APB/E023
APB/E023
wöch.
wöch.
Foundations of Concurrent and Distributed Systems

4/0/0

english

Prof. Fetzer

SYA

V
V
Dienstag
Dienstag
1.
2.
APB/E008
APB/E008
wöch.
wöch.
Internet and Web Applications
2/2/0
english
Prof. Schill
SYA
V
Donnerstag
5., 6.
APB/E023
wöch.
Security and Cryptography II

2/2/0

deutsch

Prof. Strufe, Dr. Köpsell

SYA

V
U
Dienstag
Donnerstag
3.
5.
APB/E008
APB/E001
wöch.
wöch.
Wireless Sensor Networks

2/2/0

english

Prof. Schill, Dr. Dargie

SYA

V
U
Dienstag
Donnerstag
3.
2.
APB/E006
APB/E007
wöch.
wöch.

MCL-F Foundations

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Dieses Modul ist Bestandteil der Studiengänge:

Im Sommersemester 2015 werden in diesem Modul keine Lehrveranstaltungen angeboten.

MCL-ILS Integrated Logic Systems

nach oben

Modulverantwortlicher: Dr.Schröder, MATH

Dieses Modul ist Bestandteil der Studiengänge:


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

1/1/0

english

Prof. Rudolph

KI

V
U
Donnerstag
Donnerstag
4.
4.
APB/E005
APB/E005
1. Wo.
2. Wo.
Semantic Search: Algorithms and Applications

2/2/0

english

Prof. Schroeder

BIOTEC

V
U
Mittwoch
Mittwoch
2.
3.
BIZ/2.512
BIZ/E030
wöch.
wöch.

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
Automata and Logic


4/2/0


english


Prof. Baader, Dr. Borchmann


THI


V
V
U
Dienstag
Donnerstag
Mittwoch
6.
6.
5.
APB/E005
APB/E005
APB/E005
wöch.
wöch.
wöch.
Foundations of Databases and Query Languages

2/2/0

english

Dr. Krötzsch

THI

V
U
Montag
Freitag
3.
4.
APB/E005
APB/E005
wöch.
wöch.
Foundations of Semantic Web Technologies


4/2/0


english


Prof. Rudolph


KI


V
V
U
Donnerstag
Donnerstag
Mittwoch
2.
3.
4.
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
2.
APB/E005
wöch.
Problem Solving and Search in AI

2/1/1

english

Dr. Gaggl

KI

V
V
Dienstag
Dienstag
2.
3.
APB/E005
APB/E005
wöch.
1. Wo.
SAT Solving

2/2/0

english

Prof. Hölldobler

KI

V
U
Montag
Montag
4.
5.
APB/E005
APB/E005
wöch.
wöch.

MCL-LCP Logic and Constraint Programming

nach oben

Modulverantwortlicher: Prof.Rother, KI

Dieses Modul ist Bestandteil der Studiengänge:

Im Sommersemester 2015 werden in diesem Modul keine Lehrveranstaltungen angeboten.

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
ZVZ
APB/E005
wöch.
Project Group Knowledge Representation and Reasoning
0/0/4
english
Prof. Hölldobler
KI
P
ZVZ
ZVZ
APB/E005
wöch.
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
ZVZ
APB/E005
wöch.
Project Group Theoretical Computer Science
0/0/4
english
Prof. Baader
THI
P
ZVZ
ZVZ
APB/E005
wöch.

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
Montag
2.
APB/E005
wöch.
Lab Course Modeling and Automated Verification
0/2/0
english
Prof. Baier, Dr. Peters, Dr. Klüppelholz
THI
P
Freitag
5.
APB/E005
wöch.
Seminar Selected Topics in Logic and Verification
0/2/0
english
Prof. Baier, Dr. Peters, Dr. Klüppelholz
THI
U
Mittwoch
6.
APB/E005
wöch.
Seminar Theoretical Computer Science
0/2/0
english
Prof. Baader, Dr. Lippmann
THI
U
Freitag
3.
APB/3027
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
Automata and Logic


4/2/0


english


Prof. Baader, Dr. Borchmann


THI


V
V
U
Dienstag
Donnerstag
Mittwoch
6.
6.
5.
APB/E005
APB/E005
APB/E005
wöch.
wöch.
wöch.
Foundations of Databases and Query Languages

2/2/0

english

Dr. Krötzsch

THI

V
U
Montag
Freitag
3.
4.
APB/E005
APB/E005
wöch.
wöch.
Foundations of Semantic Web Technologies


4/2/0


english


Prof. Rudolph


KI


V
V
U
Donnerstag
Donnerstag
Mittwoch
2.
3.
4.
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
2.
APB/E005
wöch.
Problem Solving and Search in AI

2/1/1

english

Dr. Gaggl

KI

V
V
Dienstag
Dienstag
2.
3.
APB/E005
APB/E005
wöch.
1. Wo.
SAT Solving

2/2/0

english

Prof. Hölldobler

KI

V
U
Montag
Montag
4.
5.
APB/E005
APB/E005
wöch.
wöch.
Seminar Theoretical Computer Science
0/2/0
english
Prof. Baader, Dr. Lippmann
THI
U
Freitag
3.
APB/3027
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
Automata and Logic


4/2/0


english


Prof. Baader, Dr. Borchmann


THI


V
V
U
Dienstag
Donnerstag
Mittwoch
6.
6.
5.
APB/E005
APB/E005
APB/E005
wöch.
wöch.
wöch.
Foundations of Databases and Query Languages

2/2/0

english

Dr. Krötzsch

THI

V
U
Montag
Freitag
3.
4.
APB/E005
APB/E005
wöch.
wöch.
Introduction to theorem-proving with Isabelle/HOL
2/0/0
english
Dr. Peters
THI
V
Montag
6.
APB/E005
wöch.
Seminar Theoretical Computer Science
0/2/0
english
Prof. Baader, Dr. Lippmann
THI
U
Freitag
3.
APB/3027
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 2015 - MCL-*