Winter Semester 2020
The course is an introduction to computational logic for students in Computer Science and Mathematics.
Understand the principles of Computational Logic and its mathematical models, aquire the skills for using it in Mathematics and Computer Science.
The principles of Computational Logic and its role in human activity.
Main models: propositional logic, first-order predicate logic. Main proof methods and sample implementations.
Practical use of Computational Logic in Mathematics (proving), and in Computer Science (automatic reasoning, programming, describing and proving properties of programs, algorithm synthesis).