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

Рубрика: Русский Круг 31 Август 2009

Название: Лекции о вычислимых функциях

Автор: Успенский В.А.

Аннотация: Понятия алгоритма и вычислимой функции являются одними из центральных понятий современной математики. Их роль в математике середины XX в. можно, пожалуй, сравнить с ролью понятия множества в математике конца XIX в. Настоящие «Лекции» посвящены изложению основ теории вычислимых функций (проводимому на базе принятого в настоящее время отождествления их — для случая функций с натуральными аргументами и значениями — с частично-рекурсивными функциями), а также некоторым приложениям этой теории. До последнего времени автору были известны лишь две книги, излагающие теорию вычислимых функций,— монографии Р. Петер [1951]*) и С — К. Клини [1952]**) (обе эти книги переведены на русский язык). Книга Р. Петер содержит большое число детально разобранных примеров описывающих различные способы задания вычислимых функций так называемыми «рекурсиями»; при этом в ней рассматриваются лишь обще-рекурсивные функции (зато некоторые специальные виды обще-рекурсивных функций)

Скачать в pdf (27,6 МБ): Успенский В.А. / Лекции о вычислимых функциях




Отзывы закрыты




Ещё записи в рубрике: