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