Stundenplan Wintersemester 2014/15 - MCL-*

Version vom 10.10.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 Advanced Topics in Term Rewriting
 0/2/0
 english
 Prof. Baader
 THI
 U
 Freitag
 3.
 INF/E005
 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
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 Advanced Topics in Term Rewriting
 0/2/0
 english
 Prof. Baader
 THI
 U
 Freitag
 3.
 INF/E005
 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 2014/15 - MCL-*