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

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