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