RUSSIAN

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

By Успенский В.А.

Book information

Publisher
Физматгиз
Year
1960
Language
russian
Format
DJVU
Filesize
5 MB (5700423 bytes)
Series
Математическая логика и основания математики, 2
Pages
491\491
Topic
Mathematics Logic
Library
Kolxo3
Time added
2009-07-20 03:45:11
Математика;Математическая логика

Description

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

Similar books