M1101-CMS70
Foundations of Logical Modeling
|
|
|
|
| Module Owner: |
N.N. |
| Displayed in timetable as: |
CMS-LM-BAS |
| Duration: |
3 |
| Number of electives: |
0 |
| Credits: |
10,0
|
| Start Semester: |
WiSe 2020/21 |
| Lecturer Responsible |
Prof. Dr. Markus Krötzsch
markus.kroetzsch@tu-dresden.de |
| Qualification Goals |
Students have basic knowledge of the logical modelling of complex relationships and systems. They are familiar with the breadth of the subject Logical Modelling and have an overview of its essential formalisms and methods. |
| Content |
The content of the module depends on the student’s main focus: knowledge representation and logical reasoning; basics of important formalisms such as propositional logics, description logics, rule languages, predicate logic including corresponding deduction methods; modelling of processes, dynamic systems and their properties; basics of verification. |
| Forms of Teaching and Learning |
The module includes a lecture, a practical, a seminar, tutorials, an internship, and project work amounting to 8 hours per week plus independent study. Courses are to be selected from the CMS-LM-BAS catalogue to the extent indicated; this catalogue, including the language of the course, the required graded work and the weighting of these grades, will be announced at the beginning of the semester as is customary at the Faculty of Computer Science. |
| Prerequisites for Participation |
Basic knowledge of theoretical computer science and mathematical logic at Bachelor level is required.
Students can prepare for the module with the following literature:
Sipser, Michael: Introduction to the Theory of Computation, International Edition, 3rd ed., Cengage Learning, 2013 |
| Applicability |
This is a compulsory module for students of the track Logical Modelling in the Master degree course Computational Modelling and Simulation. |
| Prerequisites for the Assignment of Credit Points |
The credit points are earned if the module examination is passed. The module examination consists of the graded work specified in the CMS-LM-BAS catalogue. |
| Credit Points and Grades |
10 credit points can be earned by passing the module. The module grade results from the weighted average of the graded work according to the CMS-LM-BAS catalogue. |
| Frequency of Offer |
The module is offered in each winter semester. |
| Workload |
The total workload is 300 hours. |
| Duration of Module |
The module takes one semester to complete. |
| Module Number Module Handbook TU Dresden |
CMS-LM-BAS |
