Морозов А.С. Введение в вычислимость

Учебное пособие. Новосибирск: НГУ, 2005. 114 с.Данная книга - изложение курса лекций по теории алгоритмов, читанного автором на математическом факультете Новосибирского госуниверситета в 2001-2003 годах. Задача учебника - дать хорошее интуитивное понимание математического понятия алгоритма и служить введением для дальнейшего изучения других руководств по теории алгоритмов, а также служить методологической основой для изучения других предметов, таких, как, например, теоретическое программирование.