Накупить товаров
в интернет-магазине!
в интернет-магазине!
| Главная | Каталог |
» Каталог
» Книги » Дом. Досуг. Семья » Хобби. Развлечения. Праздники » Праздники и развлечения
Каталог товаров:
 |
Лекции о вычислимых функциях. Математическая логика и основания математики. В.А. Успенский807 руб
Их роль в математике середины XX века можно, пожалуй, сравнить с ролью понятия множества в математике конца XIX века. Понятия алгоритма и вычислимой функции являются одними из центральных понятий современной математики. До последнего времени автору были известны лишь две книги, излагающие теорию вычислимых функций, - монографии Р. Настоящие "Лекции" посвящены изложению основ теории вычислимых функций (проводимому на базу принятого в настоящее время отождествления их - для случая функций с натуральными аргументами и значениями - с частично-рекурсивными функциями), а также некоторым приложениям этой теории. К. Петер [1951] и С. Автор полагает, однако, что теория вычислимых функций не требует непременно ни "финитных", ни каких-либо других специфических методов, а может существовать как содержательная математическая теория, подобная, например, топология или теория меры. Клини [1952] (обе эти книги переведены на русский язык). 2012. Воспроизведено в оригинальной авторской орфографии издания 1960 года (издательство "Государственное физико-математической литературы"). |