Лекции по конструктивному математическому анализу

Продукти
КНИГИ
+
12,95 лв.
  • Издателство: Наука
КУПИ с регистрация или с Бърза поръчка
Моля, изберете:
Продуктът е успешно добавен в количката

Лекции по конструктивен математически анализ  (книга на руски език)

 

Б. А. Кушнер  (автор)

 

Издателство:   Наука
Език: руски език
Раздел: Математика
Поредица: Математическая логика и основания математики


Твърда корица с обложка, среден формат  |  448 стр.  |  495 гр.

(неизползвана книга - отлично книжно тяло и корица, позахабена обложка)

 

*

 

АННОТАЦИЯ

 

За последние годы получила заметное развитие идея построе­ния математического анализа на базе современной теории алго­рифмов. Такое построение, отли­чаясь от традиционного простотой и интуитивной убедительностью исходных концепций, вместе с тем значительно лучше учитывает ре­альные вычислительные возмож­ности.

 

В предлагаемой монографии в рамках конструктивного напра­вления последовательно изла­гается система вычислимого ана­лиза, развитая в СССР за послед­ние 20 лет. Книга дает отчетливое представление о характере и свойствах таких понятий, как вы­числимое действительное число, вычислимая действительная функ­ция и т. д. Большой интерес пред­ставляют также точные постанов­ки и доказательства неразреши­мости ряда алгорифмических про­блем анализа. Значительная часть материала освещается в мировой монографической литературе впервые.

 

Книга может быть рекомен­дована как специалистам в обла­сти математической логики и ос­нований математики, так и более широкому кругу читателей, ра­ботающих в области вычислитель­ной математики и приложений те­ории алгорифмов.

 

**

 

Серия «Математическая логи­ка и  основания  математики» со­стоит из публикаций, посвященных вопросам теории математического доказательства,   теории алгорит­мов,     логическим исчислениям (классическим и конструктивным), истории математической логики и оснований   математики,   а также приложениям математической ло­гики   к   вопросам   автоматики и лингвистики. В серию входят мо­нографии,   обзорные   работы и сборники статей на определенную тему,   принадлежащие   перу как отечественных, так и зарубежных ученых. Эти работы носят различ­ный характер: некоторые из них рассчитаны на широкий круг на­учных работников, преподавателей и студен тов, между тем как дру­гие  имеют  в  виду  более узкие круги  специалистов  разных про­филей.

 

***

 

ОГЛАВЛЕНИЕ

 

От автора 7
Введение  9

 

Глава 1
Нормальные алгорифмы и перечислимые множества

 

§ 1. Нормальные алгорифмы 47
§ 2. Некоторые неразрешимые алгорифмические проблемы теории алгорифмов 92
§ 3. Разрешимые и перечислимые множества 98

 

Глава 2

Конструктивные действительные числа

 

§ 1. Натуральные, целые и рациональные числа 115
§ 2. Конструктивные действительные числа (КДЧ). Основные определения 126
§ 3. Отношения равенства и порядка на множестве КДЧ . 130
§ 4. Арифметические операции над КДЧ 149
§ 5. Рациональные числа в конструктивном континууме . .160

 

Глава 3
Конструктивная сходимость. Эффективная несчетность конструктивного континуума

 

§ 1. Основные определения. Первоначальные теоремы о пределах 163
§ 2. Полнота конструктивного континуума. Теорема о вложенных сегментах . 169
§ 3. Пример монотонной ограниченной не сходящейся последовательности рациональных чисел 179
§ 4. Эффективная несчетность конструктивного континуума . 187

 

Глава 4
Невозможность некоторых алгорифмов, связанных с конструктивными действительными числами

 

§ 1. Некоторые алгорифмические проблемы, связанные с отношениями равенства и порядка на конструктивном континууме. Приложения к алгебре 191
§ 2. Невозможность некоторых алгорифмов, связанных сосходимостью 202
§ 3. Конструктивные действительные числа и систематические дроби 209

Глава 5
Конструктивные функции

 

§ 1. Основные определения. Некоторые примеры .... 216

§ 2. Свойства непрерывности. Равномерно непрерывные функции 223
§ 3. Структура конструктивных функций 235
§ 4. Теоремы о среднем значении для конструктивных функций 258

 

Глава 6
Дифференцирование конструктивных функций

 

§ 1. Основные определения 265
§ 2. Теоремы о среднем значении дифференциального исчисления ...... 269
§ 3. Невозможность некоторых алгорифмов, связанных с дифференцированием 276

 

Глава 7.
Интегрирование конструктивных функций по Риману

 

§ I. Основные определения. Теорема об ограниченности интегрируемых функций 284
§ 2. Некоторые критерии интегрируемости. Интегрируемость равномерно непрерывных функций. Интегрируемость модуля и произведения интегрируемых функций .... 293
§ 3. Интеграл как функция верхнего предела. Теорема Ньютона — Лейбница. Теорема о замене переменной . , . 303

 

Глава 8
Сингулярные покрытия и некоторые их применения

 

§ 1. Основные определения. Существование сингулярных покрытий 311
§ 2. Примеры конструктивных функций с необычными свойствами 323
§ 3. Невозможность некоторых алгорифмов, связанных с интегрированием 341

 

Глава 9
Конструктивные метрические пространства

 

§ 1. Конструктивные метрические пространства. Основные определения, некоторые примеры. Пополнение конструктивных метрических пространств ....... 356
§ 2. Согласованные множества. Алгорифмические операторы. Теорема непрерывности (первая формулировка) . . . 379
§ 3. Теорема о выборе перечислимого покрытия. Усиленная форма теоремы непрерывности. Некоторые контрпримеры 403

 

Библиография . 427
Указатель имен  441
Предметный указатель  443
Указатель обозначений 446

Характеристики
В наличност:
Да
Език
руски
Автор
Б. А. Кушнер
Издателство
Наука
Поредица
Математическая логика и основания математики
Град
Москва
Година
1973
Страници
448
Състояние
неизползвана книга
ЗАБЕЛЕЖКА
отлично книжно тяло и корица, позахабена обложка
Националност
руска
Корица
твърда
Формат
среден
Ширина (мм)
135
Височина (мм)
205
Дебелина (мм)
27
Тегло (гр.)
495
Отстъпки, доставка, плащане

При покупка на стойност:

  • Над 20 лв., отстъпка от 10%, видима в процеса на пазаруване.
  • До 60 лв. - доставка до офис на Еконт *- 4.50 лв., над 60 лв. - безплатна доставка
  • До 120 лв. - доставка до адрес с Еконт * - 6 лв., над 120 лв. - безплатна доставка

* стандартна цена за м. ноември, 2022 г.:

до офис (до 1 кг) - 6,00 лв + 0,18 лв SMS + 0.22 лв малък плик + 0,10 лв. джоб (0,30 лв среден /0,44 лв. голям), общо 6,50 лв

до адрес (до 1 кг) : 7,56 лв + 0,18 лв SMS + 0.22 лв малък плик + 0,10 лв. джоб (0,30 лв среден/0,44 лв. голям), общо 8,06 лв

 

За редовни клиенти, закупили книгите си с регистрация, се определя персонална отстъпка с код за отстъпка, за пазаруване независимо от стойността на покупката.

За пазаруващите само с "Бърза поръчка", не се предлага код за отстъпка, поради невъзможността да бъде вписан такъв.

 

 

Поръчки направени до 17.00 ч. в делничен ден - за София и страната, обикновено се изпращат в същия ден и се доставят на следващия, или според графика на куриерската фирма. При пристигането на пратката в офиса на Еконт клиентите, направили поръчка с регистрация, получават имейл и SMS, а с "Бърза поръчка" - само SMS. 

 

След преглед на пратката в присъствието на куриера, се заплаща наложен платеж. Към книгите от всяка поръчка се издава фискален бон, а при заявено желание и опростена фактура, както на фирми, така и на физически лица.

Ако книгата или книгите не отговарят на описаното състояние при поръчката, то той се освобождава от заплащане на пратката в двете посоки, след разговор по телефона с подателя.

Ако клиента след преглед прецени, че книгата или книгите не са му необходими, то той следва да ги върне на подателя, като заплати пощенските разходи в двете посоки.

 

 

За София - лично предаване

 

Среща с предварителна уговорка на две места в кв. Орландовци:

1. За пристигащите с трамвай (№ 3, 4 или 18): трамвайна спирка "Католически гробищен парк" (виж на картата) около 7-9 мин от пл. Лъвов мост.

2. За пристигащите с автомобил: кв. Орландовци, ул. Железопътна 18, пред магазин Билла (виж на картата) 

Предимствата на този начин за получаване: възможност за внимателно разглеждане на книгите, получаване в същия ден и спестяване на пощенските разходи.

 

 

За чужбина (for abroad) 

 

Български пощи

 

След уточняване на всички подробности и потвърждение от страна на клиента.

 

 

Непотвърдена от клиента поръчка по телефона не се обработва!

 

Бърза поръчка Без формалности
Вашата поръчка е приета. Очаквайте обаждане!