Lehrangebot Wintersemester 2023/2024 - 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 APB/E006/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 Theoretical Computer Science	0/0/4	englisch	Dr.-Ing. Borgwardt	Theoretische Informatik	ZVZ	AVO
Research Project Knowledge-Based Systems (MCL)	0/0/4	englisch	Prof. Krötzsch, 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	8.	AVO	wöchentlich
Seminar Theoretical Computer Science	0/2/0	englisch	Dr. Turhan	Theoretische Informatik		ZVZ		AVO

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Advanced Problem Solving and Search	2/2/0	englisch	Dr. Gaggl, Dr. habil. Straß	Künstliche Intelligenz		ZVZ		AVO
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 Ü Ü Ü Ü Ü Ü	Freitag Dienstag Donnerstag Donnerstag Freitag Freitag Mittwoch	2. 6. 6. 6. 5. 6. 2.	TRE/PHYS/E VMB/0302/U AVO APB/E001/U APB/E001/U APB/E001/U AVO	wöchentlich wöchentlich wöchentlich wöchentlich 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. habil. Straß	Künstliche Intelligenz		ZVZ		AVO
Automata and Logic	4/2/0	englisch	Dr. Turhan	Theoretische Informatik	V V Ü	Dienstag Donnerstag Mittwoch	6. 6. 5.	APB/E005/U APB/E005/U APB/E005/U	wöchentlich wöchentlich wöchentlich
Complexity Theory	4/2/0	englisch	Prof. Krötzsch, Dr. Mennicke	Theoretische Informatik	V V Ü	Dienstag Montag Dienstag	2. 2. 5.	APB/E005/U REC/C118/U APB/E005/U	wöchentlich wöchentlich wöchentlich
Foundations of Semantic Web Technologies	2/2/0	englisch	Dr. Arndt	Künstliche Intelligenz	V Ü	Mittwoch Montag	4. 4.	APB/E005/U APB/E005/U	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
Introduction to Formal Concept Analysis	2/2/0	englisch	Prof. Rudolph	Künstliche Intelligenz		ZVZ		AVO
Knowledge Graphs	2/2/0	englisch	Prof. Krötzsch	Theoretische Informatik	V Ü	Dienstag Mittwoch	3. 3.	SCH/A252/U APB/E005/U	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. habil. Straß	Künstliche Intelligenz		ZVZ		AVO
Automata and Logic	4/2/0	englisch	Dr. Turhan	Theoretische Informatik	V V Ü	Dienstag Donnerstag Mittwoch	6. 6. 5.	APB/E005/U APB/E005/U APB/E005/U	wöchentlich wöchentlich wöchentlich
Complexity Theory	4/2/0	englisch	Prof. Krötzsch, Dr. Mennicke	Theoretische Informatik	V V Ü	Dienstag Montag Dienstag	2. 2. 5.	APB/E005/U REC/C118/U APB/E005/U	wöchentlich wöchentlich wöchentlich
Introduction to Formal Concept Analysis	2/2/0	englisch	Prof. Rudolph	Künstliche Intelligenz		ZVZ		AVO
Machine Learning I	2/2/0	englisch	Prof. Dr. Andres	Künstliche Intelligenz	V Ü Ü Ü Ü Ü Ü	Freitag Dienstag Donnerstag Donnerstag Freitag Freitag Mittwoch	2. 6. 6. 6. 5. 6. 2.	TRE/PHYS/E VMB/0302/U AVO APB/E001/U APB/E001/U APB/E001/U AVO	wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Automata and Logic	4/2/0	englisch	Dr. Turhan	Theoretische Informatik	V V Ü	Dienstag Donnerstag Mittwoch	6. 6. 5.	APB/E005/U APB/E005/U APB/E005/U	wöchentlich wöchentlich wöchentlich
Complexity Theory	4/2/0	englisch	Prof. Krötzsch, Dr. Mennicke	Theoretische Informatik	V V Ü	Dienstag Montag Dienstag	2. 2. 5.	APB/E005/U REC/C118/U APB/E005/U	wöchentlich wöchentlich wöchentlich
Foundations of Semantic Web Technologies	2/2/0	englisch	Dr. Arndt	Künstliche Intelligenz	V Ü	Mittwoch Montag	4. 4.	APB/E005/U APB/E005/U	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 Mittwoch	3. 3.	SCH/A252/U APB/E005/U	wöchentlich wöchentlich
Modal Logic	2/2/0	englisch	Dr. Piribauer	Theoretische Informatik	V Ü	Dienstag Mittwoch	3. 6.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Model Checking	4/4/0	englisch	Prof. Baier, Dr. Klüppelholz	Theoretische Informatik	V Ü	Donnerstag Freitag	2. + 3. 2. + 3.	APB/E005/U APB/E005/U	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 2023/2024 - 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