В предлагаемом учебном пособии изложены самые начала теории алгоритмов — во-первых, базисные понятия теории алгоритмов: предписание (исходное неопределяемое понятие), перечислимое множество, алгоритм, вычислимая функция, разрешимое множество и, во-вторых, один из формальных универсальных языков для записи предписаний, работающих со словами, — машины Тьюринга.
Пособие предназначено для нематематиков, и для его чтения не требуется никаких предварительных знаний по высшей математике.