Элементы математический логики и теории множеств (Слупецкий Е., Борковский Л.)КНИГИ » НАУКА И УЧЕБА
Название: Элементы математический логики и теории множеств Автор: Слупецкий Е., Борковский Л. Издательство: М.: Прогресс Год: 1965 Страниц: 368 Формат: djvu Размер: 24,6 Мб Язык: Русский
Постоянные исчисления предложений относятся к тем выражениям, которые пригодны и необходимы для формулирования утверждений в любой области знания. Благодаря этому обстоятельству, а также и тому, что вместо пропозициональных переменных можно подставить произвольные предложения, законы и правила исчисления предложений могут применяться в любой науке и к обычным рассуждениям. Книга, принадлежащая перу известных польских логиков, посвящена изложению основ современной формальной (математической или теоретической, или символической) логики и теории множеств для читателей гуманитарного профиля. В ней содержится систематическое изложение широкого круга вопросов из различных разделов математической логики, разъясняются основные теоретико-множественные понятия и аппарат, а также освещаются некоторые важнейшие методологические аспекты математической логики и оснований математики. Книга является хорошей основой для дальнейшего изучения более трудных и обстоятельных работ по современной логике и основаниям математики.
Курс математической логики и теории вычислимости Название: Курс математической логики и теории вычислимости Автор: Герасимов А.С. Издательство: Лань Год: 2014 ISBN: 978-5-8114-1666-0 Формат: pdf...
Элементы математической логики и теории множеств Название: Элементы математической логики и теории множеств Автор: Пензов Ю.Е. Издательство: Саратовский университет Год: 1968 Формат: pdf Страниц:...
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Макоха А. Н., Шапошников А. В., Бережной В. В. Издательство: изд-во СКФУ Год: 2017...
Множества. Логика. Аксиоматические теории Название: Множества. Логика. Аксиоматические теории Автор: Столл Р. Р. Издательство: Просвещение ISBN: 2-2-1-165-68 Год: 1968 Формат: PDF Качество:...