| Detailed information |
| Original study plan |
Master's programme Computational Mathematics 2023W |
| Objectives |
Understand the principles of Automated Reasoning and its mathematical models, learn about and train the use of main tools for Automated Reasoning.
|
| Subject |
Basic notions and proving algorithms in propositional logic and in first order logic. Main tools for automated theorem proving and satisfiability.
|
| Criteria for evaluation |
Amount of knowledge on the basic notions and algorithms. Ability to use the main algorithms and the main tools on simple examples.
|
| Methods |
Presentation and discussion of the material in the classroom, accompanying lecture notes, exercises in the classroom and homeworks, individual presentations by the students.
|
| Language |
English |
| Study material |
Lecture notes, tool presentation on their home page on the internet.
|
| Changing subject? |
No |
| Corresponding lecture |
404LFMTAURV20: VL Automated Reasoning (3 ECTS) + 201SYMRSP1V20: VL Symbolic Computation (1.5 ECTS)
|
