Автор: Слупецкий Е., Борковский Л.
Название: Элементы математический логики и теории множеств
Издательство: М.: Прогресс
Год: 1965
Язык: Русский
Формат: djvu
Размер: 24,6 Мб
Качество: хорошее, текстовый слой, оглавление.
Кол-во страниц: 368

Описание: Изложение сведений из теории множеств во II части учебника характеризуется применением в достаточно большой степени логических средств, описанных в части I, что должно облегчить читателю изучение материала. Определения и теоремы записываются, вообще говоря, с помощью логической символики, доказательства проводятся по мере возможности в формализованном (правда, иногда с сокращениями) виде методами, описанными в части I. Книга посвящена изложению основ современной формальной (математической или теоретической, или символической) логики и теории множеств для читателей гуманитарного профиля. В книге содержится систематическое изложение широкого круга вопросов из различных разделов математической логики, разъясняются основные теоретико-множественные понятия и аппарат, а также освещаются некоторые важнейшие методологические аспекты математической логики и оснований математики. Книга является основой для дальнейшего изучения работ по современной логике и основаниям математики.