Введение в математику, Клини С.К., 1957

Введение в математику, Клини С.К., 1957.  

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

Введение в математику, Клини С.К., 1957


СЧЕТНЫЕ МНОЖЕСТВА.
Прежде чем приступить к нашему основному предмету, полезно бегло рассмотреть канторовскую теорию множеств. Стадо из четырех овец и роща из четырех деревьев находятся между собой в таком отношении, в каком ни одно из них не находится с кучей из трех камней или с рощей из семи деревьев. Хотя для печатного выражения этого труизма мы использовали слова, обозначающие числа, .отношение, о котором идет речь, само лежит в основе понятия кардинального числа. Не прибегая к пере- пересчету овец или деревьев, их можно попарно сопоставить друг другу, например привязав овец к деревьям так, что каждая овца и каждое дерево будут принадлежать в точности к одной паре. Такое попарное соответствие между элементами двух коллекций или „множеств" предметов называется взаимно однозначным или одно-однозначным соответствием.

ОГЛАВЛЕНИЕ.
Часть первая. ПРОБЛЕМЫ ОСНОВАНИЙ МАТЕМАТИКИ.
Часть вторая. МАТЕМАТИЧЕСКАЯ ЛОГИКА.
Часть третья. РЕКУРСИВНЫЕ ФУНКЦИИ.
Часть четвертая. МАТЕМАТИЧЕСКАЯ ЛОГИКА (дополнительные разделы).
ДОБАВЛЕНИЯ ПЕРЕВОДЧИКА.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Введение в математику, Клини С.К., 1957 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу



Скачать - djvu - Яндекс.Диск.

Дата публикации:





Теги: :: ::


Следующие учебники и книги:
Предыдущие статьи:


 


 

Книги, учебники, обучение по разделам




Не нашёл? Найди:





2024-11-02 17:18:09