| Detailinformationen |
| Quellcurriculum |
Masterstudium Computer Mathematics 2020W |
| Ziele |
(*)Understand the principles of Automated Reasoning and its mathematical models, learn about and train the use of main tools for Automated Reasoning.
|
| Lehrinhalte |
(*)Basic notions and proving algorithms in propositional logic and in first order logic. Main tools for automated theorem proving and satisfiability.
|
| Beurteilungskriterien |
(*)Amount of knowledge on the basic notions and algorithms. Ability to use the main algorithms and the main tools on simple examples.
|
| Lehrmethoden |
(*)Presentation and discussion of the material in the classroom, accompanying lecture notes, exercises in the classroom and homeworks, individual presentations by the students.
|
| Abhaltungssprache |
Englisch |
| Literatur |
(*)Lecture notes, tool presentation on their home page on the internet.
|
| Lehrinhalte wechselnd? |
Nein |
| Frühere Varianten |
Decken ebenfalls die Anforderungen des Curriculums ab (von - bis)
201LOSDAURV13: VL Automated Reasoning (2013W-2020S)
|
