URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Гудстейн Р.Л. Рекурсивный математический анализ
Id: 115313
 
699 руб.

Рекурсивный математический анализ

1970. 472 с. Твердый переплет. Букинист. Состояние: 4. В суперобложке. Есть погашенная библиотечная печать.

 Аннотация

В настоящее время все более широкое распространение получает идея построения математического анализа на основе конструктивных понятий и принципов. При этом подходе основную роль играют понятие алгорифма и теория алгорифмов. Построение математического анализа на этой основе существенно лучше, чем традиционнее, соответствует постановкам задач вычислительной математики.

Р. Л. Гудстейном разработан один из вариантов такого построения математического анализа, особенно интересный тем, что используемый язык имеет простую логическую структуру. Настоящая книга объединяет переводы книг Гудстейна «Рекурсивная теория чисел» и «Рекурсивный анализ» и несколько его статей. Вводная статья Н. А. Шанина поясняет особенности излагаемой теории. Все сведения, необходимые для понимания «рекурсивного анализа», излагаются в самой книге.

В книге затрагиваются проблемы оснований математики, математической логики, теории чисел и математического анализа. Она рассчитана на студентов, аспирантов и научных работников, интресующихся любой из этих областей.


 Оглавление

Вступительная статья. О рекурсивном математическом анализе и исчислении арифметических равенств Р. Л. Гуд-стейна (Н. А. Шанин)

I. Рекурсивная теория чисел

Предисловие

Введение

Глава I. Определение по рекурсии

Примеры к гл. I

Глава II. Исчисление равенств

Примеры к гл. II

Глава III. Логические константы

Примеры к гл. III

Глава IV. Основные теоремы арифметики

Примеры к гл. IV

Глава V. Формализация примитивно рекурсивной арифметики

Глава VI. Сведения к примитивной рекурсии

Глава VII. Устранение параметров

Глава VIII. Гёделевская нумерация и неполнота арифметики

Решение примеров

Библиографические замечания

Библиография

II. Рекурсивный анализ

Предисловие

Символы

Глава I. Рекурсивная сходимость

Глава II. Рекурсивная и относительная непрерывность

Глава III. Рекурсивная и относительная дифференцируемость

Глава IV. Относительный интеграл

Глава V. Элементарные функции

Глава VI. Трансфинитные ординалы

Добавление. Рекурсивная иррациональность и трансцендентность

Библиографические замечания

Библиография

III. Приложения

Приложение 1. Разрешимый фрагмент рекурсивной арифметики. Р. Л. Гудстейн

Приложение 2. Конструктивистская теория плоских кривых. Р. Л. Гудстейн

Приложение 3. Формализация рекурсивной арифметики. X. Б. К а р р и

Приложение 4. Эквивалентность некоторых формализации примитивно рекурсивной арифметики. Ю. С. Шестов.

Указатель

 
© URSS 2016.

Информация о Продавце