Лекции о вычислимых функциях В. Успенский

Понятия алгоритма и вычислимой функции являются одними из центральных понятий современной математики. Их роль в математике середины XX в. можно, пожалуй, сравнить с ролью понятия множества в математике конца XIX в. Настоящие "Лекции" посвящены изложению основ теории вычислимых функций (проводимому на базе принятого в настоящее время отождествления их - для случая функций с натуральными аргументами и значениями - с частично-рекурсивными функциями), а также некоторым приложениям этой теории. Это и многое другое вы найдете в книге Лекции о вычислимых функциях (В. Успенский)