Lehrangebot Wintersemester 2022/2023 - Studiengang Computational Logic

22.11.2024

nach oben

All other Master courses without reference to Computational Logic offered at the TU Dresden. In order to check whether a lecture is related to Computational Logic, students are requested to consult with the module representative.

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Design Patterns and Frameworks	2/2/0	englisch	Dr. Götz	Software- und Multimediatechnik	V Ü	Dienstag Mittwoch	5. 5.	APB/E023/U POT/0351/U	wöchentlich wöchentlich

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Tag	Raum
Project Group Computational Logic	0/0/4	englisch	Prof. Rudolph	Künstliche Intelligenz	ZVZ	AVO
Project Group Model Checking	0/0/4	englisch	Prof. Baier	Theoretische Informatik	ZVZ	AVO
Project Group Theoretical Computer Science	0/0/4	englisch	Prof. Baader, Dr.-Ing. Borgwardt	Theoretische Informatik	ZVZ	AVO
Research Project Knowledge-Based Systems (MCL)	0/0/4	englisch	Prof. Krötzsch, Dr. Ellmauthaler, Dr. Mennicke	Theoretische Informatik	ZVZ	AVO

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Laborkurs Modeling and Automated Verification	0/2/0	englisch	Prof. Baier	Theoretische Informatik		ZVZ		AVO
Seminar Knowledge Representation and Reasoning	0/2/0	englisch	Dr. Cramer	Künstliche Intelligenz	Ü	Donnerstag	5.	APB/E005/U	wöchentlich
Seminar Selected Topics in Logic and Verification	0/2/0	englisch	Prof. Baier	Theoretische Informatik	Ü	Freitag	3.	APB/E001/U	wöchentlich
Seminar Theoretical Computer Science	0/2/0	englisch	Prof. Baader, Dr. Turhan	Theoretische Informatik	Ü	Montag	5.	APB/E009/U	wöchentlich

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Advanced Problem Solving and Search	2/2/0	englisch	Dr. Gaggl, Dr. Gómez Álvarez	Künstliche Intelligenz	V Ü	Montag Montag	2. 1.	SCH/0A01 APB/E005	wöchentlich wöchentlich
Fuzzy Description Logic	2/2/0	englisch	Dr.-Ing. Borgwardt	Theoretische Informatik	V Ü	Mittwoch Freitag	2. 4.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Machine Learning I	2/2/0	englisch	Prof. Dr. Andres	Künstliche Intelligenz	V V Ü Ü Ü	Freitag Montag Freitag Freitag Mittwoch	2. 2. 5. 6. 2.	TRE/PHYS/E GER/0038/H VMB/0302/U VMB/0302/U AVO	wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich
Unification in Modal and Description Logics	2/2/0	englisch	Prof. Baader, Dr. Fernández Gil	Theoretische Informatik	Ü Ü Ü	ZVZ Dienstag Mittwoch	6. 5.	APB/E005/U APB/E005/U APB/E005/U	wöchentlich wöchentlich wöchentlich

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Advanced Problem Solving and Search	2/2/0	englisch	Dr. Gaggl, Dr. Gómez Álvarez	Künstliche Intelligenz	V Ü	Montag Montag	2. 1.	SCH/0A01 APB/E005	wöchentlich wöchentlich
Complexity Theory	4/2/0	englisch	Prof. Krötzsch	Theoretische Informatik	V V Ü	Dienstag Montag Mittwoch	2. 2. 3.	APB/E005/U APB/E008/U APB/E005/U	wöchentlich wöchentlich wöchentlich
Einführung in die Formale Begriffsanalyse	2/2/0	englisch	Prof. Rudolph	Künstliche Intelligenz	V Ü	Montag Montag	3. 2.	APB/E005 APB/E005	wöchentlich wöchentlich
Finite and Algorithmic Model Theory	2/2/0	englisch	Prof. Rudolph	Künstliche Intelligenz	V Ü	Mittwoch Dienstag	5. 4.	APB/E007 BAR/0218/U	wöchentlich wöchentlich
Formal Argumentation and Artificial Intelligence	2/2/0	englisch	Dr. Cramer	Künstliche Intelligenz	V Ü Ü	Freitag ZVZ Mittwoch	6. 4.	APB/E005/U AVO APB/E005/U	wöchentlich wöchentlich wöchentlich
Foundations of Semantic Web Technologies	2/2/0	englisch	Dr. Arndt	Künstliche Intelligenz	V Ü	Donnerstag Montag	5. 3.	APB/E006 ZEU/0147/Z	wöchentlich wöchentlich
Fuzzy Description Logic	2/2/0	englisch	Dr.-Ing. Borgwardt	Theoretische Informatik	V Ü	Mittwoch Freitag	2. 4.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Knowledge Graphs	2/2/0	englisch	Prof. Krötzsch	Theoretische Informatik	V Ü	Dienstag Dienstag	3. 5.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Unification in Modal and Description Logics	2/2/0	englisch	Prof. Baader, Dr. Fernández Gil	Theoretische Informatik	Ü Ü Ü	ZVZ Dienstag Mittwoch	6. 5.	APB/E005/U APB/E005/U APB/E005/U	wöchentlich wöchentlich wöchentlich

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Advanced Problem Solving and Search	2/2/0	englisch	Dr. Gaggl, Dr. Gómez Álvarez	Künstliche Intelligenz	V Ü	Montag Montag	2. 1.	SCH/0A01 APB/E005	wöchentlich wöchentlich
Complexity Theory	4/2/0	englisch	Prof. Krötzsch	Theoretische Informatik	V V Ü	Dienstag Montag Mittwoch	2. 2. 3.	APB/E005/U APB/E008/U APB/E005/U	wöchentlich wöchentlich wöchentlich
Einführung in die Formale Begriffsanalyse	2/2/0	englisch	Prof. Rudolph	Künstliche Intelligenz	V Ü	Montag Montag	3. 2.	APB/E005 APB/E005	wöchentlich wöchentlich
Finite and Algorithmic Model Theory	2/2/0	englisch	Prof. Rudolph	Künstliche Intelligenz	V Ü	Mittwoch Dienstag	5. 4.	APB/E007 BAR/0218/U	wöchentlich wöchentlich
Formal Argumentation and Artificial Intelligence	2/2/0	englisch	Dr. Cramer	Künstliche Intelligenz	V Ü Ü	Freitag ZVZ Mittwoch	6. 4.	APB/E005/U AVO APB/E005/U	wöchentlich wöchentlich wöchentlich
Machine Learning I	2/2/0	englisch	Prof. Dr. Andres	Künstliche Intelligenz	V V Ü Ü Ü	Freitag Montag Freitag Freitag Mittwoch	2. 2. 5. 6. 2.	TRE/PHYS/E GER/0038/H VMB/0302/U VMB/0302/U AVO	wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich
Unification in Modal and Description Logics	2/2/0	englisch	Prof. Baader, Dr. Fernández Gil	Theoretische Informatik	Ü Ü Ü	ZVZ Dienstag Mittwoch	6. 5.	APB/E005/U APB/E005/U APB/E005/U	wöchentlich wöchentlich wöchentlich

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Complexity Theory	4/2/0	englisch	Prof. Krötzsch	Theoretische Informatik	V V Ü	Dienstag Montag Mittwoch	2. 2. 3.	APB/E005/U APB/E008/U APB/E005/U	wöchentlich wöchentlich wöchentlich
Finite and Algorithmic Model Theory	2/2/0	englisch	Prof. Rudolph	Künstliche Intelligenz	V Ü	Mittwoch Dienstag	5. 4.	APB/E007 BAR/0218/U	wöchentlich wöchentlich
Foundations of Semantic Web Technologies	2/2/0	englisch	Dr. Arndt	Künstliche Intelligenz	V Ü	Donnerstag Montag	5. 3.	APB/E006 ZEU/0147/Z	wöchentlich wöchentlich
Fuzzy Description Logic	2/2/0	englisch	Dr.-Ing. Borgwardt	Theoretische Informatik	V Ü	Mittwoch Freitag	2. 4.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Knowledge Graphs	2/2/0	englisch	Prof. Krötzsch	Theoretische Informatik	V Ü	Dienstag Dienstag	3. 5.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Modal Logic	2/2/0	englisch	Dr. Piribauer	Theoretische Informatik	V Ü	Dienstag Mittwoch	4. 6.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Model Checking	4/4/0	englisch	Prof. Baier, Dr. Klüppelholz	Theoretische Informatik	Ü Ü	Donnerstag Freitag	2. + 3. 2. + 3.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Unification in Modal and Description Logics	2/2/0	englisch	Prof. Baader, Dr. Fernández Gil	Theoretische Informatik	Ü Ü Ü	ZVZ Dienstag Mittwoch	6. 5.	APB/E005/U APB/E005/U APB/E005/U	wöchentlich wöchentlich wöchentlich

nach oben

Tag/Raum

ZVZ ... zur vereinbarten Zeit
AVO ... am vereinbarten Ort

Wochen

wöch. ... wöchentlich
1. Wo ... ungerade Kalenderwoche
2. Wo ... gerade Kalenderwoche

Semester im Sinne der Prüfungsordnung. Die Module werden mit dem jeweiligen Fachsemester ausgewiesen, in dem sie beginnen - Mehrsemestrige Module werden demzufolge mit einem ggf. niedrigeren Fachsemester ausgewiesen als die Studierenden tatsächlich sind..

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 (Gymnasium, Mittelschule, berufsbildende Schulen)

und folgende Pseudo-Module für ältere Studiengänge und Sonstiges

INF-04* ... Diplom Informatik, Prüfungs-/ Studienordnung 2004
MINF-04* ... Diplom Medieninformatik, Prüfungs-/ Studienordnung 2004
IST-05* ... Diplom Informationssystemtechnik, Prüfungs-/ Studienordnung 2005-2010
INF-LE* ... Lehrexport an andere Fakultäten/Fachbereiche
FAK-INF-FF ... Fakultative Lehrveranstaltungen für alle Studierende an der Fakultät Informatik

Prüfungen 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 im angegebenen Umfang
P(s) ... schriftliche Prüfung im angegebenen Umfang
P(PP) ... Praktikumsprotokoll
P(sA) ... schriftliche Ausarbeitung
P(PA) ... Projektarbeit
P(PE) ... bewertbares Ergebnis des Praktikums

Lehrangebot Wintersemester 2022/2023 - Studiengang Computational Logic

Lehrangebot Wintersemester 2022/2023 - Studiengang Computational Logic

Pflichtmodule

MCL-FE Free Electives

MCL-P Project

MCL-PS Presentation Skills

Wahlpflichtmodule

MCL-AI Artificial Intelligence

MCL-KR Knowledge Representation

MCL-PI Principles of Inference

MCL-TCSL Theoretical Computer Science and Logic

Anmerkungen