Computational Logic

Winter Semester 2020

The course is an introduction to computational logic for students in Computer Science and Mathematics.

Purpose

Understand the principles of Computational Logic and its mathematical models, aquire the skills for using it in Mathematics and Computer Science.

Contents

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).