MCL-AL Advanced Logics

nach oben

Modulverantwortlicher: Prof.Baier, THI

Studienordnung: MCL.pdf

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

Im Wintersemester 2014/15 werden in diesem Modul keine Lehrveranstaltungen angeboten.

MCL-CSE Computer Science Engineering

nach oben

Modulverantwortlicher: Fakultät Informatik, INF

Studienordnung: MCL.pdf

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

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	Prof. Schill, Dr. Springer	SYA
Mobile Communication and Mobile Computing	2/0/0	english	Prof. Schill, 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

Studienordnung: MCL.pdf

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Logic	2/2/0	english	Prof. Kurfess, Prof. Hölldobler	KI
Science of Computational Logic	2/2/0	english	Prof. Rudolph	KI

MCL-ILS Integrated Logic Systems

nach oben

Modulverantwortlicher: Dr.Schröder, MATH

Studienordnung: MCL.pdf

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

Im Wintersemester 2014/15 werden in diesem Modul keine Lehrveranstaltungen angeboten.

MCL-KR Knowledge Representation

nach oben

Modulverantwortlicher: Prof.Rother, KI

Studienordnung: MCL.pdf

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Introduction to Complexity Theory	2/1/0	english	Prof. Baader, Dr. Penaloza	THI
Knowledge Representation and Reasoning	0/2/0	english	Prof. Hölldobler	KI
Seminar Abstract Argumentation	0/2/0	english	Dr. Gaggl	KI

MCL-LCP Logic and Constraint Programming

nach oben

Modulverantwortlicher: Prof.Rother, KI

Studienordnung: MCL.pdf

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

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
Logic Programming Engineering	0/2/0	english	Dr. Klüppelholz	THI

MCL-P Project

nach oben

Modulverantwortlicher: Fakultät Informatik, INF

Studienordnung: MCL.pdf

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, Dr. Klüppelholz	THI
Project Group Semantic Search	0/0/4	english	Prof. Schroeder	BIOTEC
Project Group Theoretical Computer Science	0/0/4	english	Prof. Baader, Dr. Penaloza	THI

MCL-PCS Presentation and Communication Skills

nach oben

Modulverantwortlicher: Fakultät Informatik, INF

Studienordnung: MCL.pdf

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, Dr. Peters, Dr. Klüppelholz	THI
Seminar Abstract Argumentation	0/2/0	english	Dr. Gaggl	KI
Seminar Advanced Topics in Term Rewriting	0/2/0	english	Prof. Baader	THI

MCL-PI Principles of Inference

nach oben

Modulverantwortlicher: Prof.Hölldobler, KI

Studienordnung: MCL.pdf

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Description Logic	4/2/0	english	Dr. Turhan	THI
Introduction to Complexity Theory	2/1/0	english	Prof. Baader, Dr. Penaloza	THI
Knowledge Representation and Reasoning	0/2/0	english	Prof. Hölldobler	KI
Seminar Advanced Topics in Term Rewriting	0/2/0	english	Prof. Baader	THI

MCL-TCSL Theoretical Computer Science and Logic

nach oben

Modulverantwortlicher: Prof.Baader, THI

Studienordnung: MCL.pdf

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Description Logic	4/2/0	english	Dr. Turhan	THI
Introduction to Complexity Theory	2/1/0	english	Prof. Baader, Dr. Penaloza	THI
Seminar Advanced Topics in Term Rewriting	0/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.

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

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-* ... Master Distributed Systems Engineering
• 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