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-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)
|
Prüfungsleistung Modelle nebenläufiger Systeme
|
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 |