Moduldetails

M1101-CMS72  Models of Computation

Modulverantwortlich: N.N.
Anzeige im Stundenplan: CMS-LM-MOC
Dauer: 3
Anzahl Wahlkurse: 0
Credits: 15,0
Startsemester: SoSe 2022
Verantwortliche:r Dozent:in Prof. Dr. Markus Krötzsch
markus.kroetzsch@tu-dresden.de
Qualifikationsziele Die Studierenden verfügen über umfangreiche Kompetenzen in der Modellierung von Berechnungsprozessen und der Analyse ihrer Eigenschaften. Sie sind vertraut mit Methoden zur Abstraktion von Algorithmen und Programmen und können diese anwenden, um Berechnungen qualitativ und quantitativ zu untersuchen. Sie haben fundierte Kenntnisse unterschiedlicher klassischer und nicht-klassischer Berechnungsmodelle.
Inhalte Die Inhalte des Moduls sind wahlweise je nach Schwerpunktsetzung der/des Studierenden: Berechnungsmodelle einschließlich Turingmaschinen, Automaten, hybride und quantitative Modelle, stochastische Modelle, biologisch motivierte Modelle, Termersetzungssyteme und Quantencomputer; Analyse von Berechenbarkeit, Komplexität, Korrektheit, Terminierung, deklarativer Semantik und funktionalen Eigenschaften sowie dabei eingesetzter Methoden einschließlich Verifikation und mathematischer Modellierung relevanter Eigenschaften.
Lehr- und Lernformen Das Modul umfasst Vorlesung, Übung, Seminar, Tutorien, Praktikum und Projektbearbeitung im Umfang von 12 SWS sowie das Selbststudium. Die Lehrveranstaltungen sind im angegebenen Umfang aus dem Katalog CMS-LM-MOC zu wählen; dieser wird inklusive der Lehrveranstaltungssprache, der jeweils erforderlichen Prüfungsleistungen und Gewichte der Noten zu Semesterbeginn wie an der Fakultät Informatik üblich bekannt gegeben.
Voraussetzungen für die Teilnahme Es werden keine besonderen Kenntnisse vorausgesetzt.
Verwendbarkeit Das Modul ist im Masterstudiengang Computational Modeling and Simulation ein Pflichtmodul für Studierende des Tracks Logical Modeling.
Voraussetzungen für Vergabe von Leistungspunkten Die Leistungspunkte werden erworben, wenn die Modulprüfung bestanden ist. Die Modulprüfung besteht aus den gemäß Katalog CMS-LM-MOC vorgegebenen Prüfungsleistungen.
Leistungspunkte und Noten Durch das Modul können 15 Leistungspunkte erworben werden. Die Modulnote ergibt sich aus dem gemäß Katalog CMS-LM-MOC gewichteten Durchschnitt der Noten der Prüfungsleistungen.
Häufigkeit des Moduls Das Modul wird jedes Studienjahr, beginnend im Sommersemester, angeboten.
Arbeitsaufwand Der Arbeitsaufwand beträgt insgesamt 450 Stunden.
Dauer des Moduls Das Modul umfasst zwei Semester.
Modulnummer Modulhandbuch TU Dresden CMS-LM-MOC

Anmeldefristen

Phase Block Anmeldung von | bis Ende Abmeldung
Ohne Auswahlverfahren Vorlesungszeit 04.04.2022 00:00 | 15.11.2022 00:00 13.11.2022 00:00

Kurse
Nummer Name Semester  
DK1100-MA002X Dummykurs CMS 2 SWS  
DK1100-MA004X Dummykurs CMS 4 SWS  
DK1100-MA014X Dummykurs CMS 4 SWS  
DK1100-MA016X Dummykurs 6 SWS  
DK1100-MA018X Dummykurs CMS 8 SWS  
DK1100-MA022X Dummykurs CMS 2 SWS  
DK1100-MA024X Dummykurs CMS 4 SWS  
DK1100-MA024X Dummykurs CMS 4 SWS SoSe 2023
DK1100-MA034X Dummykurs CMS 4 SWS  
K1101-BA0470V Unification in Modal and Description Logics (V)  
K1101-BA0470V Unification in Modal and Description Logics (V) WiSe 2022/23
K1101-BA0470Ü Unification in Modal and Description Logics (Ü)  
K1101-BA0470Ü Unification in Modal and Description Logics (Ü) WiSe 2022/23
K1101-MA0002V Advanced Logics (V)  
K1101-MA0002V Advanced Logics (V) SoSe 2022
K1101-MA0002V Advanced Logics (V) SoSe 2023
K1101-MA0002Ü Advanced Logics (Ü)  
K1101-MA0002Ü Advanced Logics (Ü) SoSe 2022
K1101-MA0002Ü Advanced Logics (Ü) SoSe 2023
K1101-MA0003V Automata and Logic (V)  
K1101-MA0003Ü Automata and Logic (Ü)  
K1101-MA0007S Rule-Based Paradigms in Knowledge Representation (S)  
K1101-MA0008V Concurrency Theory (V)  
K1101-MA0008V Concurrency Theory (V) SoSe 2023
K1101-MA0008Ü Concurrency Theory (Ü)  
K1101-MA0008Ü Concurrency Theory (Ü) SoSe 2023
K1101-MA0015V Introduction to Automatic Structures (V)  
K1101-MA0015Ü Introduction to Automatic Structures (Ü)  
K1101-MA0019V Model Checking (V)  
K1101-MA0019V Model Checking (V) WiSe 2022/23
K1101-MA0019Ü Model Checking (Ü)  
K1101-MA0019Ü Model Checking (Ü) WiSe 2022/23
K1101-MA0020Ü Lab Course Modeling and Automated Verification (Ü)  
K1101-MA0021S Seminar Selected Topics in Logic and Verification (S)  
K1101-MA0021V Complexity Theory Foundations (V) (2 SWS)  
K1101-MA0022V Complexity Theory (V)  
K1101-MA0022V Complexity Theory (V) WiSe 2022/23
K1101-MA0022Ü Complexity Theory (Ü)  
K1101-MA0022Ü Complexity Theory (Ü) WiSe 2022/23
K1101-MA0025V Term Rewriting Systems (V)  
K1101-MA0025Ü Term Rewriting Systems (Ü)  
K1101-MA0030S Seminar Data Aware Processes (S)  
K1107-MA0018V Database Theory (V)  
K1107-MA0018V Database Theory (V) SoSe 2022
K1107-MA0018V Database Theory (V) SoSe 2023
K1107-MA0018Ü Database Theory (Ü)  
K1107-MA0018Ü Database Theory (Ü) SoSe 2022
K1107-MA0018Ü Database Theory (Ü) SoSe 2023
K1107-MA0019V Finite and Algorithmic Model Theory (V)  
K1107-MA0019V Finite and Algorithmic Model Theory (V) WiSe 2022/23
K1107-MA0019Ü Finite and Algorithmic Model Theory (Ü)  
K1107-MA0019Ü Finite and Algorithmic Model Theory (Ü) WiSe 2022/23
K1107-MA0055V Introduction to Formal Concept Analysis (V)  
K1107-MA0055Ü Introduction to Formal Concept Analysis (Ü)  

Bestehensregeln
Kontext Name Beschreibung
Global * Informationen zur Modulprüfung siehe Modulbeschreibung
Global * Informationen zur Modulprüfung siehe Modulbeschreibung

Leistungen
Kurs / Modulabschluss­leistungen Leistungen Bestehens­pflicht Gewichtung
DK1100-MA002X Dummykurs CMS 2 SWS Prüfungsleistung 2 SWS DK1100-MA002X Nein 2
DK1100-MA004X Dummykurs CMS 4 SWS Prüfungsleistung 4 SWS DK1100-MA004X Nein 4
DK1100-MA014X Dummykurs CMS 4 SWS Prüfungsleistung 4 SWS DK1100-MA014X Nein 4
DK1100-MA016X Dummykurs 6 SWS Prüfungsleistung 6 SWS Nein 6
DK1100-MA018X Dummykurs CMS 8 SWS Prüfungsleistung 8 SWS Nein 8
DK1100-MA022X Dummykurs CMS 2 SWS Prüfungsleistung 2 SWS DK1100-MA022X Nein 2
DK1100-MA024X Dummykurs CMS 4 SWS Prüfungsleistung 4 SWS DK1100-MA024X Nein 4
DK1100-MA034X Dummykurs CMS 4 SWS Prüfungsleistung 4 SWS DK1100-MA034X Nein 4
K1101-BA0470V Unification in Modal and Description Logics (V) Mündliche Prüfungsleistung Unification in Modal and Description Logics Nein 4
K1101-MA0002V Advanced Logics (V) Mündliche Prüfungsleistung Advanced Logics Nein 6
K1101-MA0003V Automata and Logic (V) Mündliche Prüfungsleistung Automata and Logic Nein 6
K1101-MA0007S Rule-Based Paradigms in Knowledge Representation (S) Referat Rule-Based Paradigms in Knowledge Representation Nein 1
Seminararbeit Rule-Based Paradigms in Knowledge Representation Nein 1
K1101-MA0008V Concurrency Theory (V) Mündliche Prüfungsleistung Concurrency Theory Nein 4
K1101-MA0015V Introduction to Automatic Structures (V) Mündliche Prüfungsleistung Introduction to Automatic Structures Nein 4
K1101-MA0019V Model Checking (V) Mündliche Prüfungsleistung Model Checking Nein 8
K1101-MA0020Ü Lab Course Modeling and Automated Verification (Ü) Projektarbeit Modeling and Automated Verification Nein 2
K1101-MA0021S Seminar Selected Topics in Logic and Verification (S) Präsentation Selected Topics in Logic and Verification Nein 1
Seminararbeit Selected Topics in Logic and Verification Nein 1
K1101-MA0021V Foundations of Complexity Theory (V) Mündliche Prüfungsleistung Foundations of Complexity Theory Nein 4
K1101-MA0022V Complexity Theory (V) Mündliche Prüfungsleistung Complexity Theory Nein 6
K1101-MA0025V Term Rewriting Systems (V) Mündliche Prüfungsleistung Term Rewriting Systems Nein 6
K1101-MA0030S Seminar Data-Aware Processes (S) Präsentation Seminar Data Aware Processes Nein 1
Seminararbeit Data Aware Processes Nein 1
K1107-MA0018V Database Theory (V) Mündliche Prüfungsleistung Database Theory Nein 6
K1107-MA0019V Finite and Algorithmic Model Theory (V) Mündliche Prüfungsleistung Finite and Algorithmic Model Theory Nein 4
K1107-MA0055V Introduction to Formal Concept Analysis (V) Mündliche Prüfungsleistung Introduction to Formal Concept Analysis Nein 4

Legende
**

Zu diesen Modulabschlussprüfungen gibt es mehrere Kombinationen von Leistungen. Die Bestehensregeln (siehe oben) legen fest, ob Sie eine oder mehrere dieser Leistungskombinationen absolvieren müssen.