Лекции о вычислимых функциях
Успенский В.А.
Понятия алгоритма и вычислимой функции являются одними из центральных понятий современной математики. Их роль в математике середины XX в. можно, пожалуй, сравнить с ролью понятия множества в математике конца XIX в. Настоящие «Лекции» посвящены изложению основ теории вычислимых функций (проводимому на базе принятого в настоящее время отождествления их — для случая" функций с натуральными аргументами и значениями — с частично-рекурсивными функциями), а также некоторым приложениям этой теории.
Kategori:
Tahun:
1960
Penerbit:
Физматгиз
Bahasa:
russian
Halaman:
492
Nama seri:
Математическая логика и основания математики, 2
File:
DJVU, 7.39 MB
IPFS:
,
russian, 1960