Lehrangebotsmeldung für das Wintersemester 2020/2021 - Professur für Computational Logic

In den Vorlagen finden Sie alle Lehrveranstaltungen tabellarisch aufgeführt, die Sie im vorigen Wintersemester gemeldet hatten mit den folgenden Informationen:

In der dritten Spalte der Tabelle haben Sie die Möglichkeit, Änderungen für die einzelnen LV einzutragen. Bitte lassen Sie die ersten beiden Spalten der Tabelle unangetastet. Bei der Modulzuordnung geben Sie Änderungen bitte in Form von "Hinzufügen in / Löschen aus Modul X" an (die Modulnummer genügt). Am Ende des Dokumentes finden Sie eine leere Tabelle als Vorlage für neue Lehrveranstaltungen. Bitte geben Sie bei neuen Lehrveranstaltungen an, ob Räume benötigt werden. Lehrveranstaltungen aus früheren Semestern oder aus dem vergangenen/aktuellen Sommersemester können auf Anfrage aktiviert werden. Kontaktieren Sie mich dazu bitte, bevor sie die Tabellen ausfüllen!

Master-Niveau: Diese Lehrveranstaltung ist an Master- bzw. Diplomstudenten im Hauptstudium gerichtet. Diese Angebot ist optional und nur für fortgeschrittene Studenten empfohlen. Diese Angabe ist bei Eintragungen in INF-B-5x0 notwendig, um den Studierenden den höheren Anspruch/Aufwand zu verdeutlichen.

Zusätzlich zu den Modulen aus Bachelor/Master/Diplom Informatik, Medieninformatik und Informationssystemtechnik gibt es noch folgende Module für andere Studiengänge

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

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


Datenfelder Bisherige Daten Neue/zu ändernde Daten
Titel Foundations of Constraint Programming
englischer Titel
SWS 1/1/0
Sprache en
verantwortliche Professur Computational Logic
Dozent Prof. Sebastian Rudolph
Prüfungsleistung
URL https://iccl.inf.tu-dresden.de/web/Lehrveranstaltungen
Raumvergabe erbeten
erforderliche Ausstattung
Einschreibung mit jExam
Studiengänge und Module
Informatik, Bachelor
Informatik, Master INF-BAS2 , INF-VERT2
Informatik, Diplom 2004
Informatik, Diplom 2010 INF-BAS2 , INF-VERT2
Medieninformatik, Bachelor
Medieninformatik, Master
Medieninformatik, Diplom 2004
Informationssystemtechnik, Diplom 2005
Informationssystemtechnik, Diplom 2010
Computational Logic MCL-LCP
Computational Science and Engineering
Distributed Systems Engineering, PO 2014
Computational Modeling and Simulation, Master
Lehramt, Master, Berufsbildende Schulen
Lehramt, Staatsexamen, Berufsbildende Schulen
Lehramt, Staatsexamen, Oberschulen
Lehramt, Master, Gymnasium
Lehramt, Staatsexamen, Gymnasium
Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung)
Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung)
Fakultative Fächer
Lehrexport

Datenfelder Bisherige Daten Neue/zu ändernde Daten
Titel Foundations of Logic Programming
englischer Titel
SWS 2/1/0
Sprache en
verantwortliche Professur Computational Logic
Dozent Prof. Sebastian Rudolph
Prüfungsleistung
URL https://iccl.inf.tu-dresden.de/web/Lehrveranstaltungen
Raumvergabe erbeten
erforderliche Ausstattung
Einschreibung mit jExam
Studiengänge und Module
Informatik, Bachelor
Informatik, Master INF-BAS2 , INF-VERT2
Informatik, Diplom 2004
Informatik, Diplom 2010 INF-BAS2 , INF-VERT2
Medieninformatik, Bachelor
Medieninformatik, Master
Medieninformatik, Diplom 2004
Informationssystemtechnik, Diplom 2005
Informationssystemtechnik, Diplom 2010
Computational Logic MCL-LCP
Computational Science and Engineering
Distributed Systems Engineering, PO 2014
Computational Modeling and Simulation, Master
Lehramt, Master, Berufsbildende Schulen
Lehramt, Staatsexamen, Berufsbildende Schulen
Lehramt, Staatsexamen, Oberschulen
Lehramt, Master, Gymnasium
Lehramt, Staatsexamen, Gymnasium
Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung)
Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung)
Fakultative Fächer
Lehrexport

Datenfelder Bisherige Daten Neue/zu ändernde Daten
Titel Project Group Computational Logic
englischer Titel
SWS 0/0/4
Sprache en
verantwortliche Professur Computational Logic
Dozent Prof. Sebastian Rudolph
Prüfungsleistung
URL https://iccl.inf.tu-dresden.de/web/Lehrveranstaltungen
Raumvergabe erbeten
erforderliche Ausstattung
Einschreibung mit jExam
Studiengänge und Module
Informatik, Bachelor
Informatik, Master
Informatik, Diplom 2004
Informatik, Diplom 2010
Medieninformatik, Bachelor
Medieninformatik, Master
Medieninformatik, Diplom 2004
Informationssystemtechnik, Diplom 2005
Informationssystemtechnik, Diplom 2010
Computational Logic MCL-P
Computational Science and Engineering
Distributed Systems Engineering, PO 2014
Computational Modeling and Simulation, Master
Lehramt, Master, Berufsbildende Schulen
Lehramt, Staatsexamen, Berufsbildende Schulen
Lehramt, Staatsexamen, Oberschulen
Lehramt, Master, Gymnasium
Lehramt, Staatsexamen, Gymnasium
Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung)
Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung)
Fakultative Fächer
Lehrexport

Datenfelder Bisherige Daten Neue/zu ändernde Daten
Titel Introduction to Formal Concept Analysis
englischer Titel
SWS 2/2/0
Sprache en
verantwortliche Professur Computational Logic
Dozent Prof. Sebastian Rudolph
Prüfungsleistung
URL https://iccl.inf.tu-dresden.de/web/Lehrveranstaltungen
Raumvergabe erbeten
erforderliche Ausstattung
Einschreibung mit jExam
Studiengänge und Module
Informatik, Bachelor
Informatik, Master INF-BAS2
Informatik, Diplom 2004
Informatik, Diplom 2010 INF-BAS2
Medieninformatik, Bachelor
Medieninformatik, Master INF-E-3
Medieninformatik, Diplom 2004
Informationssystemtechnik, Diplom 2005
Informationssystemtechnik, Diplom 2010
Computational Logic MCL-AI , MCL-KR , MCL-PI
Computational Science and Engineering
Distributed Systems Engineering, PO 2014
Computational Modeling and Simulation, Master
Lehramt, Master, Berufsbildende Schulen
Lehramt, Staatsexamen, Berufsbildende Schulen
Lehramt, Staatsexamen, Oberschulen
Lehramt, Master, Gymnasium
Lehramt, Staatsexamen, Gymnasium
Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung)
Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung)
Fakultative Fächer
Lehrexport

Datenfelder Bisherige Daten Neue/zu ändernde Daten
Titel Forschungsprojekt Computational Logic
englischer Titel
SWS 0/0/8
Sprache dt
verantwortliche Professur Computational Logic
Dozent Prof. Sebastian Rudolph
Prüfungsleistung Kolloquium
URL https://iccl.inf.tu-dresden.de/web/Lehrveranstaltungen
Raumvergabe erbeten
erforderliche Ausstattung
Einschreibung mit jExam
Studiengänge und Module
Informatik, Bachelor
Informatik, Master INF-MA-PR , INF-PM-FPA , INF-PM-FPG
Informatik, Diplom 2004
Informatik, Diplom 2010 INF-PM-FPA , INF-PM-FPG
Medieninformatik, Bachelor
Medieninformatik, Master
Medieninformatik, Diplom 2004
Informationssystemtechnik, Diplom 2005
Informationssystemtechnik, Diplom 2010
Computational Logic
Computational Science and Engineering
Distributed Systems Engineering, PO 2014
Computational Modeling and Simulation, Master
Lehramt, Master, Berufsbildende Schulen
Lehramt, Staatsexamen, Berufsbildende Schulen
Lehramt, Staatsexamen, Oberschulen
Lehramt, Master, Gymnasium
Lehramt, Staatsexamen, Gymnasium
Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung)
Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung)
Fakultative Fächer
Lehrexport

Datenfelder Bisherige Daten Neue/zu ändernde Daten
Titel Forschungsseminar Wissensbasierte Systeme
englischer Titel Research Seminar Knowledge-Based Systems
SWS 0/2/0
Sprache en
verantwortliche Professur Wissensbasierte Systeme
Dozent Prof. Sebastian Rudolph
Prüfungsleistung P(m)
URL https://iccl.inf.tu-dresden.de/web/KBS_Seminar
Raumvergabe erbeten
erforderliche Ausstattung
Einschreibung mit jExam
Studiengänge und Module
Informatik, Bachelor
Informatik, Master INF-AQUA , INF-PM-FOR
Informatik, Diplom 2004
Informatik, Diplom 2010 INF-PM-FOR
Medieninformatik, Bachelor
Medieninformatik, Master INF-AQUA
Medieninformatik, Diplom 2004
Informationssystemtechnik, Diplom 2005
Informationssystemtechnik, Diplom 2010
Computational Logic
Computational Science and Engineering
Distributed Systems Engineering, PO 2014
Computational Modeling and Simulation, Master
Lehramt, Master, Berufsbildende Schulen
Lehramt, Staatsexamen, Berufsbildende Schulen
Lehramt, Staatsexamen, Oberschulen
Lehramt, Master, Gymnasium
Lehramt, Staatsexamen, Gymnasium
Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung)
Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung)
Fakultative Fächer
Lehrexport

Datenfelder Bisherige Daten Neue/zu ändernde Daten
Titel Seminar Selected Topics of Computational Logic
englischer Titel
SWS 0/2/0
Sprache en
verantwortliche Professur Computational Logic
Dozent Prof. Sebastian Rudolph Dr. Sarah Alice Gaggl
Prüfungsleistung
URL https://iccl.inf.tu-dresden.de/web/Lehrveranstaltungen
Raumvergabe erbeten
erforderliche Ausstattung
Einschreibung mit jExam
Studiengänge und Module
Informatik, Bachelor
Informatik, Master
Informatik, Diplom 2004
Informatik, Diplom 2010
Medieninformatik, Bachelor
Medieninformatik, Master
Medieninformatik, Diplom 2004
Informationssystemtechnik, Diplom 2005
Informationssystemtechnik, Diplom 2010
Computational Logic MCL-PS
Computational Science and Engineering
Distributed Systems Engineering, PO 2014
Computational Modeling and Simulation, Master
Lehramt, Master, Berufsbildende Schulen
Lehramt, Staatsexamen, Berufsbildende Schulen
Lehramt, Staatsexamen, Oberschulen
Lehramt, Master, Gymnasium
Lehramt, Staatsexamen, Gymnasium
Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung)
Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung)
Fakultative Fächer
Lehrexport

Datenfelder Bisherige Daten Neue/zu ändernde Daten
Titel Problem Solving and Search in AI
englischer Titel
SWS 2/2/2
Sprache en
verantwortliche Professur Computational Logic
Dozent Dr. Sarah Alice Gaggl
Prüfungsleistung P(m)
URL https://iccl.inf.tu-dresden.de/web/Lehrveranstaltungen
Raumvergabe erbeten
erforderliche Ausstattung
Einschreibung mit jExam
Studiengänge und Module
Informatik, Bachelor
Informatik, Master INF-BAS2 , INF-VERT2
Informatik, Diplom 2004
Informatik, Diplom 2010 INF-BAS2 , INF-VERT2
Medieninformatik, Bachelor
Medieninformatik, Master
Medieninformatik, Diplom 2004
Informationssystemtechnik, Diplom 2005
Informationssystemtechnik, Diplom 2010
Computational Logic MCL-AI , MCL-KR , MCL-PI
Computational Science and Engineering
Distributed Systems Engineering, PO 2014
Computational Modeling and Simulation, Master
Lehramt, Master, Berufsbildende Schulen
Lehramt, Staatsexamen, Berufsbildende Schulen
Lehramt, Staatsexamen, Oberschulen
Lehramt, Master, Gymnasium
Lehramt, Staatsexamen, Gymnasium
Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung)
Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung)
Fakultative Fächer
Lehrexport

Datenfelder Bisherige Daten Neue/zu ändernde Daten
Titel (Neue Lehrveranstaltung)
englischer Titel
SWS
Sprache
verantwortliche Professur
Dozent
Prüfungsleistung
URL
Raumvergabe erbeten
erforderliche Ausstattung
Einschreibung mit jExam
Studiengänge und Module
Informatik, Bachelor
Informatik, Master
Informatik, Diplom 2004
Informatik, Diplom 2010
Medieninformatik, Bachelor
Medieninformatik, Master
Medieninformatik, Diplom 2004
Informationssystemtechnik, Diplom 2005
Informationssystemtechnik, Diplom 2010
Computational Logic
Computational Science and Engineering
Distributed Systems Engineering, PO 2014
Computational Modeling and Simulation, Master
Lehramt, Master, Berufsbildende Schulen
Lehramt, Staatsexamen, Berufsbildende Schulen
Lehramt, Staatsexamen, Oberschulen
Lehramt, Master, Gymnasium
Lehramt, Staatsexamen, Gymnasium
Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung)
Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung)
Fakultative Fächer
Lehrexport