Математическая библиотечка. О математической индукции
| Автор(ы): | Генкин Л.
08.12.2024
|
| Год изд.: | 1962 |
| Описание: | «… Леон Генкин известен как автор ряда работ по математической логике. Ему принадлежат важные исследования о полноте логических исчислений; об одном из этих исследований мы упоминали выше. Последние годы он много занимался применениями математической логики - точнее, теории моделей - к проблемам абстрактной алгебры. Эта алгебраическая тенденция нашла выражение и в помещаемой ниже работе. Эта работа, написанная Л.Генкиным для «Математического просвещения», не потребует от читателя никаких предварительных познаний. Неспециалист получит из нее верное представление о характере многих рассуждений современной теории моделей. Специалисту также интересно будет познакомиться с некоторыми свежими соображениями, относящимися к связи между теорией рекурсивных определений (т.е. определениями по индукции) и теорией моделей, изучение которой составляет предмет работы Генкина… » |
| Оглавление: |
Обложка книги.
Введение [11] 1. Модели и аксиомы Пеано [12] 2. Операции, определенные по математической индукции [14] 3. Сложение и умножение в произвольных индукционных моделях [22] 4. Операции в моделях Пеано, получаемые путем примитивной рекурсии [23] 5. Отношение между моделями Пеано и индукционными моделями [26] 6. Отношения конгруэнтности [30] 7. Характеризация моделей Пеано [34] Заключение [36] |
| Формат: | djvu + ocr |
| Размер: | 6907328 байт |
| Язык: | РУС |
| Рейтинг: |
160
|
| Открыть: | Ссылка (RU) |