Посібник призначається для знайомства студентів з формальними підходами до визначення поняття "алгоритм", його властивостями, способами запису та підходами до їх розробки. В посібнику також детально розглянуті найвідоміші формалізації поняття алгоритма (машини Тюринга, машини Поста та нормальні алгоритми Маркова), велику увагу приділено методам та технологіям їх розробки. Для закріплення отриманих знань та набуття необхідних практичних навичок студентам пропонуються завдання для самостійної роботи, варіанти практичних завдань для проведення контрольної роботи, приклади питань для проведення контролю знань та довідкові матеріали, необхідні студентам під час виконання самостійних завдань. Посібник розрахований на студентів вищих навчальних закладів.