Lehrangebot Wintersemester 2020/2021 - Studiengang Computational Logic

31.05.2021

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
German Course	0/2/0	deutsch				ZVZ		AVO

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Logic and Science of Computational Logic Repetition	0/2/0	englisch	Prof. Hölldobler	Künstliche Intelligenz		ZVZ		AVO

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 HSZ/0E01/U	wöchentlich wöchentlich
Distributed Systems	2/2/0	englisch	Prof. Schill, Dr. Braun , Dr. Springer	Systemarchitektur	V Ü	Donnerstag Dienstag	5. 2.	APB/E023/U APB/E023/U	wöchentlich wöchentlich
Transactional Information Systems	2/2/0	englisch	Prof. Lehner	Systemarchitektur	V Ü	Montag Dienstag	4. 4.	APB/E010/U APB/E001/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 Knowledge Representation and Reasoning	0/0/4	englisch	Prof. Hölldobler	Künstliche Intelligenz	ZVZ	AVO
Project Group Model Checking	0/0/4	englisch	Dr. Klüppelholz	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	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	Dr. Klüppelholz	Theoretische Informatik		ZVZ		AVO
Seminar Knowledge Representation and Reasoning	0/2/0	englisch	Prof. Hölldobler	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/E005/U	wöchentlich
Seminar Theoretical Computer Science	0/2/0	englisch	Prof. Baader, Dr. Turhan	Theoretische Informatik	Ü	Montag	5.	AVO	wöchentlich

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Computer Vision I	2/2/0	englisch	Prof. Dr. Andres	Künstliche Intelligenz		ZVZ		AVO
Fuzzy Description Logic	2/2/0	englisch	Dr.-Ing. Borgwardt	Theoretische Informatik	V Ü	Donnerstag Mittwoch	3. 6.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Human Reasoning and the Weak Completion Semantics	4/2/0	englisch	Prof. Hölldobler	Künstliche Intelligenz	V V Ü	Donnerstag Montag Freitag	4. 4. 5.	APB/E005/U APB/E005/U APB/E005/U	wöchentlich wöchentlich wöchentlich
Introduction to Formal Concept Analysis	2/2/0	englisch	Prof. Rudolph	Künstliche Intelligenz	V Ü	Montag Montag	3. 2.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Machine Learning I	2/2/0	englisch	Prof. Dr. Andres	Künstliche Intelligenz	V Ü	Montag Freitag	2. 1.	online online	wöchentlich wöchentlich
Problem Solving and Search in AI	2/2/0	englisch	Dr. Gómez Álvarez	Künstliche Intelligenz	V Ü	Freitag Freitag	2. 1.	APB/E005/U APB/E005/U	wöchentlich wöchentlich

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Automata and Logic	4/2/0	englisch	Prof. Baader	Theoretische Informatik	V V V	Dienstag Donnerstag Mittwoch	6. 6. 5.	APB/E005/U APB/E005/U APB/E005/U	wöchentlich wöchentlich wöchentlich
Foundations of Complexity Theory	2/2/0	englisch	Dr. Carral	Theoretische Informatik	V Ü	Dienstag Mittwoch	5. 3.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Fuzzy Description Logic	2/2/0	englisch	Dr.-Ing. Borgwardt	Theoretische Informatik	V Ü	Donnerstag Mittwoch	3. 6.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Human Reasoning and the Weak Completion Semantics	4/2/0	englisch	Prof. Hölldobler	Künstliche Intelligenz	V V Ü	Donnerstag Montag Freitag	4. 4. 5.	APB/E005/U APB/E005/U APB/E005/U	wöchentlich wöchentlich wöchentlich
Introduction to Formal Argumentation	2/2/0	englisch	Dr. Cramer	Künstliche Intelligenz	V V	Freitag Mittwoch	6. 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	V Ü	Montag Montag	3. 2.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Knowledge Graphs	2/2/0	englisch	Prof. Krötzsch	Theoretische Informatik	V Ü	Dienstag Dienstag	2. 3.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Problem Solving and Search in AI	2/2/0	englisch	Dr. Gómez Álvarez	Künstliche Intelligenz	V Ü	Freitag Freitag	2. 1.	APB/E005/U APB/E005/U	wöchentlich wöchentlich

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Tutorial Logic Programming Engineering	0/2/0	englisch	Dr. Klüppelholz , Prof. Rudolph	Theoretische Informatik	Ü	Donnerstag	2.	APB/E005/U	wöchentlich

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Automata and Logic	4/2/0	englisch	Prof. Baader	Theoretische Informatik	V V V	Dienstag Donnerstag Mittwoch	6. 6. 5.	APB/E005/U APB/E005/U APB/E005/U	wöchentlich wöchentlich wöchentlich
Foundations of Complexity Theory	2/2/0	englisch	Dr. Carral	Theoretische Informatik	V Ü	Dienstag Mittwoch	5. 3.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Human Reasoning and the Weak Completion Semantics	4/2/0	englisch	Prof. Hölldobler	Künstliche Intelligenz	V V Ü	Donnerstag Montag Freitag	4. 4. 5.	APB/E005/U APB/E005/U APB/E005/U	wöchentlich wöchentlich wöchentlich
Introduction to Automatic Structures	2/2/0	englisch	Dr. Turhan	Theoretische Informatik	V Ü	Mittwoch Freitag	2. 4.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Introduction to Formal Argumentation	2/2/0	englisch	Dr. Cramer	Künstliche Intelligenz	V V	Freitag Mittwoch	6. 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	V Ü	Montag Montag	3. 2.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Machine Learning I	2/2/0	englisch	Prof. Dr. Andres	Künstliche Intelligenz	V Ü	Montag Freitag	2. 1.	online online	wöchentlich wöchentlich
Problem Solving and Search in AI	2/2/0	englisch	Dr. Gómez Álvarez	Künstliche Intelligenz	V Ü	Freitag Freitag	2. 1.	APB/E005/U APB/E005/U	wöchentlich wöchentlich

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Automata and Logic	4/2/0	englisch	Prof. Baader	Theoretische Informatik	V V V	Dienstag Donnerstag Mittwoch	6. 6. 5.	APB/E005/U APB/E005/U APB/E005/U	wöchentlich wöchentlich wöchentlich
Foundations of Complexity Theory	2/2/0	englisch	Dr. Carral	Theoretische Informatik	V Ü	Dienstag Mittwoch	5. 3.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Fuzzy Description Logic	2/2/0	englisch	Dr.-Ing. Borgwardt	Theoretische Informatik	V Ü	Donnerstag Mittwoch	3. 6.	APB/E005/U APB/E005/U	wöchentlich wöchentlich
Introduction to Automatic Structures	2/2/0	englisch	Dr. Turhan	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	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 2020/2021 - Studiengang Computational Logic

Lehrangebot Wintersemester 2020/2021 - Studiengang Computational Logic

Pflichtmodule

MCL-CS Communication Skills

MCL-F Foundations

MCL-FE Free Electives

MCL-P Project

MCL-PS Presentation Skills

Wahlpflichtmodule

MCL-AI Artificial Intelligence

MCL-KR Knowledge Representation

MCL-LCP Logic and Constraint Programming

MCL-PI Principles of Inference

MCL-TCSL Theoretical Computer Science and Logic

Anmerkungen