Lehrangebot Wintersemester 2017/18 - MCL-*

Version vom 14.11.2017



MCL-AI Artificial Intelligence

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Computer Vision 1
2/2/0
english
Dr. rer. nat Guthier
KI
Description Logic
4/2/0
english
Prof. Baader
THI
Human Reasoning and Computational Logic
4/2/0
english
Prof. Hölldobler
KI
Introduction to Formal Concept Analysis
2/2/0
english
Prof. Rudolph
KI

MCL-AL Advanced Logics

nach oben

Modulverantwortlicher: Prof.Baier, THI

Dieses Modul ist Bestandteil der Studiengänge:

Im Wintersemester 2017/18 werden in diesem Modul keine Lehrveranstaltungen angeboten.

MCL-CS Communication Skills

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
German Course
0/2/0
deutsch



MCL-CSE Computer Science Engineering

nach oben

Modulverantwortlicher: Fakultät Informatik, INF

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Design Patterns and Frameworks
2/2/0
english
Prof. Aßmann, Dr. Götz
SMT
Distributed Systems
2/2/0
english
Dr.-Ing. Hara, Dr. Springer, Dr. Braun
SYA
Mobile Communication and Mobile Computing
2/0/0
english
Dr. Springer, Dr. Dargie
SYA
Security and Cryptography I
2/2/0
english
Prof. Strufe, Dr. Köpsell
SYA
Transactional Information Systems
2/2/0
english
Prof. Lehner
SYA

MCL-F Foundations

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Foundations Repetition
0/2/0
english
Prof. Hölldobler
KI
Logic
2/2/0
english
Prof. Hölldobler
KI
Science of Computational Logic
2/2/0
english
Prof. Hölldobler
KI

MCL-FE Free Electives

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Dieses Modul ist Bestandteil der Studiengänge:

Im Wintersemester 2017/18 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:

Im Wintersemester 2017/18 werden in diesem Modul keine Lehrveranstaltungen angeboten.

MCL-KR Knowledge Representation

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Complexity Theory
4/2/0
english
Prof. Krötzsch
THI
Human Reasoning and Computational Logic
4/2/0
english
Prof. Hölldobler
KI
Introduction to Formal Concept Analysis
2/2/0
english
Prof. Rudolph
KI
Introduction to Non-monotonic Reasoning
2/2/0
english
Dr. Turhan
THI
Knowledge Representation and Reasoning
0/2/0
english
Prof. Hölldobler
KI
Seminar Practical Planning for Angry Birds
0/2/0
english
Prof. Rudolph
KI

MCL-LCP Logic and Constraint Programming

nach oben

Modulverantwortlicher: Prof.Rudolph, KI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Foundations of Constraint Programming
1/1/0
english
Prof. Rudolph
KI
Foundations of Logic Programming
2/1/0
english
Prof. Rudolph
KI
Tutorial Logic Programming Engineering
0/2/0
english
Prof. Baier, Dr. Klüppelholz
THI

MCL-P Project

nach oben

Modulverantwortlicher: Fakultät Informatik, INF

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Project Group Computational Logic
0/0/4
english
Prof. Rudolph
KI
Project Group Knowledge Representation and Reasoning
0/0/4
english
Prof. Hölldobler
KI
Project Group Model Checking
0/0/4
english
Prof. Baier
THI
Project Group Theoretical Computer Science
0/0/4
english
Prof. Baader, Dr. Turhan
THI

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
German Course
0/2/0
deutsch


Knowledge Representation and Reasoning
0/2/0
english
Prof. Hölldobler
KI
Lab Course Modeling and Automated Verification
0/2/0
english
Prof. Baier
THI
Seminar Further Topics in Description Logics
0/2/0
english
Prof. Baader, Dr. Turhan
THI
Seminar Practical Planning for Angry Birds
0/2/0
english
Prof. Rudolph
KI
Seminar Selected Topics in Logic and Verification
0/2/0
english
Prof. Baier
THI

MCL-PI Principles of Inference

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Complexity Theory
4/2/0
english
Prof. Krötzsch
THI
Description Logic
4/2/0
english
Prof. Baader
THI
Human Reasoning and Computational Logic
4/2/0
english
Prof. Hölldobler
KI
Introduction to Formal Concept Analysis
2/2/0
english
Prof. Rudolph
KI
Knowledge Representation and Reasoning
0/2/0
english
Prof. Hölldobler
KI
Seminar Further Topics in Description Logics
0/2/0
english
Prof. Baader, Dr. Turhan
THI
Seminar Practical Planning for Angry Birds
0/2/0
english
Prof. Rudolph
KI

MCL-PS Presentation Skills

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Knowledge Representation and Reasoning
0/2/0
english
Prof. Hölldobler
KI
Lab Course Modeling and Automated Verification
0/2/0
english
Prof. Baier
THI
Seminar Practical Planning for Angry Birds
0/2/0
english
Prof. Rudolph
KI
Seminar Selected Topics in Logic and Verification
0/2/0
english
Prof. Baier
THI

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
Complexity Theory
4/2/0
english
Prof. Krötzsch
THI
Description Logic
4/2/0
english
Prof. Baader
THI
Introduction to Non-monotonic Reasoning
2/2/0
english
Dr. Turhan
THI
Model Checking
4/4/0
english
Prof. Baier, Dr. Klüppelholz
THI
Seminar Further Topics in Description Logics
0/2/0
english
Prof. Baader, Dr. Turhan
THI

Anmerkungen

nach oben

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:



Lehrangebot Wintersemester 2017/18 - MCL-*