This is an automatically translated description

The textbook is intended to introduce students to formal approaches to the definition of the concept of "algorithm", its properties, ways of writing it down, and approaches to their development. The textbook also describes in detail the most famous formalisations of the concept of algorithm (Turing machines, Post machines and normal Markov algorithms), paying great attention to methods and technologies of their development. To consolidate the acquired knowledge and acquire the necessary practical skills, students are offered tasks for independent work, variants of practical tasks for control work, examples of questions for knowledge control and reference materials necessary for students to perform independent tasks.

The textbook is intended for students of higher educational institutions.