MCL-AL Advanced Logics

nach oben

Modulverantwortlicher: Prof.Baier, THI

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

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

MCL-CSE Computer Science Engineering

nach oben

Modulverantwortlicher: Fakultät Informatik, INF

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Component Based Software Engineering	2/2/0	english	Prof. Aßmann, 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	deutsch	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:

• Computational Logic

Im Sommersemester 2016 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:

• Computational Logic

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Deduction Systems	1/1/0	english	Prof. Rudolph	KI
Semantic Search: Algorithms and Applications	2/2/0	english	Prof. Schroeder	BIOTEC

MCL-KR Knowledge Representation

nach oben

Modulverantwortlicher: Prof.Rother, KI

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Database Theory	2/2/0	english	Dr. Krötzsch	THI
Foundations of Semantic Web Technologies	4/2/0	english	Prof. Rudolph	KI
Knowledge Representation and Reasoning	0/2/0	english	Prof. Hölldobler	KI
Logical Modeling	0/2/0	english	Prof. Rudolph	KI
Problem Solving and Search in AI	2/1/1	english	Dr. Gaggl	KI

MCL-LCP Logic and Constraint Programming

nach oben

Modulverantwortlicher: Prof.Rother, KI

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

Im Sommersemester 2016 werden in diesem Modul keine Lehrveranstaltungen angeboten.

MCL-P Project

nach oben

Modulverantwortlicher: Fakultät Informatik, INF

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

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 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:

• Computational Logic

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
Logical Modeling	0/2/0	english	Prof. Rudolph	KI
Seminar Selected Topics in Logic and Verification	0/2/0	english	Prof. Baier	THI
Seminar Theoretical Computer Science	0/2/0	english	Prof. Baader	THI

MCL-PI Principles of Inference

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Advanced Topics in Complexity Theory	2/2/0	english	Prof. Baader, Dr. Borchmann	THI
Database Theory	2/2/0	english	Dr. Krötzsch	THI
Foundations of Semantic Web Technologies	4/2/0	english	Prof. Rudolph	KI
Introduction to Automatic Structures	2/1/0	english	Dr. Turhan	THI
Knowledge Representation and Reasoning	0/2/0	english	Prof. Hölldobler	KI
Logical Modeling	0/2/0	english	Prof. Rudolph	KI
Problem Solving and Search in AI	2/1/1	english	Dr. Gaggl	KI
Seminar Theoretical Computer Science	0/2/0	english	Prof. Baader	THI
Term Rewriting Systems	4/2/0	english	Prof. Baader	THI

MCL-TCSL Theoretical Computer Science and Logic

nach oben

Modulverantwortlicher: Prof.Baader, THI

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Advanced Topics in Complexity Theory	2/2/0	english	Prof. Baader, Dr. Borchmann	THI
Database Theory	2/2/0	english	Dr. Krötzsch	THI
Introduction to Automatic Structures	2/1/0	english	Dr. Turhan	THI
Seminar Theoretical Computer Science	0/2/0	english	Prof. Baader	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

• MCL-* ... Master Computational Logic
• DSE-10* ... Master Distributed Systems Engineering (PO 2010)
• DSE-14* ... Master Distributed Systems Engineering (PO 2014)
• INF-LA* ... Bachelor/Master Lehramt
• INF-SE* ... Staatsexamen Lehramt

und folgende "Module" für ältere Studiengänge und Sonstiges

• INF-04-* ... Diplom Informatik, Studienordnung 2004
• MINF-04-* ... Diplom Medieninformatik, Studienordnung 2004
• IST-05-* ... Diplom Informationssystemtechnik, Studienordnung 2005
• INF-LE-* ... Lehrexport an andere Fakultäten
• FAK-INF-FF ... Fakultative Fächer

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:

• Seminararbeit und Präsentation
• P(m) ... mündliche Prüfung
• P(s) ... schriftliche Prüfung
• P(PP) ... Praktikumsprotokoll
• P(sA) ... schriftliche Ausarbeitung/Seminararbeit
• P(PA) ... Projektarbeit
• P(PE) ... bewertbares Ergebnis des Praktikums