
Detailed information 
Original study plan 
Master's programme Computational Mathematics 2023W 
Objectives 
Understand the principles of Mathematical Logic and its mathematical models, acquire the skills for using it in Mathematics and Computer Science

Subject 
The principles of Mathematical Logic and its role in human activity.
Main models: propositional logic, firstorder predicate logic, higherorder logic. Proof systems rewriting, resolution, sequent calculus.
Practical use of Mathematical Logic in Mathematics (building theories, proving), and in Computer Science (automatic reasoning, programming, describing and proving properties of programs).

Criteria for evaluation 
Amount of knowledge on the basic notions and basic proofs. Ability to use the main algorithms on simple examples.

Methods 
Presentation and discussion of the material in the classroom, accompanying lecture notes, exercises in the classroom and homeworks.

Language 
English 
Changing subject? 
No 
Earlier variants 
They also cover the requirements of the curriculum (from  to) 404LFMTML1V20: VL Mathematical logic 1 (2020W2023S)

