Книга является самой обширной нз имеющихся монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как иа специалистов по математической логике и теории рекурсивных функций, так и и лиц, желающих впервые, но серьезно, изучить эти науки.
СЧЕТНЫЕ МНОЖЕСТВА.
Прежде чем приступить к нашему основному предмету, полезно бегло рассмотреть канторовскую теорию множеств. Стадо из четырех овец и роща из четырех деревьев находятся между собой в таком отношении, в каком ни одно из них не находится с кучей из трех камней или с рощей из семи деревьев. Хотя для печатного выражения этого труизма мы использовали слова, обозначающие числа, .отношение, о котором идет речь, само лежит в основе понятия кардинального числа. Не прибегая к пере- пересчету овец или деревьев, их можно попарно сопоставить друг другу, например привязав овец к деревьям так, что каждая овца и каждое дерево будут принадлежать в точности к одной паре. Такое попарное соответствие между элементами двух коллекций или „множеств" предметов называется взаимно однозначным или одно-однозначным соответствием.
ОГЛАВЛЕНИЕ.
Часть первая. ПРОБЛЕМЫ ОСНОВАНИЙ МАТЕМАТИКИ.
Часть вторая. МАТЕМАТИЧЕСКАЯ ЛОГИКА.
Часть третья. РЕКУРСИВНЫЕ ФУНКЦИИ.
Часть четвертая. МАТЕМАТИЧЕСКАЯ ЛОГИКА (дополнительные разделы).
ДОБАВЛЕНИЯ ПЕРЕВОДЧИКА.
Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Введение в математику, Клини С.К., 1957 - fileskachat.com, быстрое и бесплатное скачивание.
Скачать djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу
Скачать - djvu - Яндекс.Диск.
Дата публикации:
Теги: Клини :: книги по математике :: математика
Смотрите также учебники, книги и учебные материалы:
Следующие учебники и книги:
- Вычислительные методы, том 2, Крылов В.И., Бобков В.В., Mонастырный П.И., 1977
- Численные методы, Калиткин Н.Н., 1978
- Численные методы, Бут Э.Д., 1959
- Численные методы расчета ядерных реакторов, Марчук Г.И., 1958
Предыдущие статьи:
- Численные методы в технике, Сальвадори М.Д., 1955
- Фракталы, от простого к сложному, Иудин Д.И., Копосов Е.В., 2012
- Числа, натуральные, рациональные, действительные, комплексные, Гладкий А.В., 2000
- Элементарная алгебра, Пособие для самообразования, Туманов С.И., 1962