Lehrangebot Sommersemester 2018 - MCL-*

Version vom 17.01.2018



MCL-AI Artificial Intelligence

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Term Rewriting Systems
4/2/0
english
Prof. Baader
THI

MCL-AL Advanced Logics

nach oben

Modulverantwortlicher: Prof.Baier, THI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Advanced Logics
4/2/0
english
Prof. Baier
THI

MCL-CS Communication Skills

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Academic Skills in Computer Science
2/2/0
english
Prof. Hölldobler
KI

MCL-CSE Computer Science Engineering

nach oben

Modulverantwortlicher: Fakultät Informatik, INF

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Component Based Software Engineering
2/2/0
english
Dr. Götz
SMT
Foundations of Concurrent and Distributed Systems
4/0/0
english
Prof. Fetzer
SYA
Internet and Web Applications
2/2/0
english
Prof. Schill
SYA
Security and Cryptography II
2/2/0
english
Prof. Strufe, Dr. Köpsell
SYA
Wireless Sensor Networks
2/2/0
english
Prof. Schill, Dr. Dargie
SYA

MCL-F Foundations

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Dieses Modul ist Bestandteil der Studiengänge:

Im Sommersemester 2018 werden in diesem Modul keine Lehrveranstaltungen angeboten.

MCL-FE Free Electives

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Dieses Modul ist Bestandteil der Studiengänge:

Im Sommersemester 2018 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
Deduction Systems
1/1/0
english
Prof. Krötzsch
THI
Logic-based Ontology Engineering
2/2/0
english
Dr.-Ing. Borgwardt
THI
Semantic Search: Algorithms and Applications
2/2/0
english
Prof. Schroeder
BIOTEC

MCL-KR Knowledge Representation

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
SWS
Sprache
Dozent
Institut
Conditional Reasoning
2/2/0
english
Prof. Hölldobler
KI
Database Theory
4/2/0
english
Prof. Krötzsch
THI
Knowledge Representation and Reasoning
0/2/0
english
Prof. Hölldobler
KI
Seminar Existential Rules
0/2/0
english
Prof. Krötzsch
THI

MCL-LCP Logic and Constraint Programming

nach oben

Modulverantwortlicher: Prof.Rudolph, KI

Dieses Modul ist Bestandteil der Studiengänge:

Im Sommersemester 2018 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
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 Knowledge-Based Systems
0/0/4
english
Prof. Krötzsch
THI
Project Group Model Checking
0/0/4
english
Prof. Baier
THI
Project Group Semantic Search
0/0/4
english
Prof. Schroeder
BIOTEC
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
Academic Skills in Computer Science
2/2/0
english
Prof. Hölldobler
KI
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 Selected Topics in Logic and Verification
0/2/0
english
Prof. Baier
THI
Seminar Theoretical Computer Science
0/2/0
english
Prof. Baader, Dr. Turhan
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
Conditional Reasoning
2/2/0
english
Prof. Hölldobler
KI
Database Theory
4/2/0
english
Prof. Krötzsch
THI
Knowledge Representation and Reasoning
0/2/0
english
Prof. Hölldobler
KI
Seminar Existential Rules
0/2/0
english
Prof. Krötzsch
THI
Seminar Theoretical Computer Science
0/2/0
english
Prof. Baader, Dr. Turhan
THI
Term Rewriting Systems
4/2/0
english
Prof. Baader
THI

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 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
Database Theory
4/2/0
english
Prof. Krötzsch
THI
Seminar Existential Rules
0/2/0
english
Prof. Krötzsch
THI
Seminar Theoretical Computer Science
0/2/0
english
Prof. Baader, Dr. Turhan
THI
Term Rewriting Systems
4/2/0
english
Prof. Baader
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 Sommersemester 2018 - MCL-*