Detailed information 
Original study plan 
Master's programme Computer Mathematics 2020W 
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 