В предлагаемом учебном пособии изложены самые начала теории алгоритмов – базисные понятия теории алгоритмов: предписание (исходное неопределяемое понятие), перечислимое множество, алгоритм, вычислимая функция, разрешимое множество, и один из формальных универсальных языков для записи предписаний, работающих со словами (машины Тьюринга).
Пособие предназначено для нематематиков, и для его чтения не требуется никаких предварительных знаний по так называемой «высшей» математике.
С другой стороны, от читателя этого пособия требуется владение материалом книги Ю.А. Шихановича «Введение в математику»