Дурнев В.Г. Элементы теории множеств и математической логики

Учеб. пособие. — 2-е изд. – СПб.: СЗТУ, 2003. – 104 с. Учебное пособие соответствует государственному образовательному стандарту дисциплины "Математическая логика и теория алгоритмов" направления подготовки дипломированных специалистов 654600 -"Информатика и вычислительная техника" (Специальность 220100 - "Вычислительные машины, комплексы, системы и сети") и направления подготовки...

Перевод с фр. — М.: Мир, 1965. — 456 с. Трактат Н. Бурбаки „Начала математики" имеет целью изложить всю современную математику с единой и оригинальной точки зрения. Много выпусков этого трактата уже вышло во Франции. Они вызвали большой интерес математиков всего мира как новизной изложения, так и высоким научным уровнем. Настоящее издание представляет собой перевод первой книги...

М.: КомКнига, 2006. — 240 с. — (Классический университетский учебник). В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики....

Учебное пособие. — Ижевск: Удмуртский государственный университет (УдГУ), 2002. — 529 с. — ISBN 5-7029-0074-Х. Язык математики. Необходимость точного языка в математике. Как и почему появился язык математической логики? Зачем изучать формальный язык математики? Простейшие высказывания. Что такое высказывание? Математическая интерпретация высказываний. Предметы и универс. Термы....

2-изд., испр. — М.: Наука, 1973. — 399 с. — (Математическая логика и основания математики). Петр Сергеевич Новиков (1901-1975) - один из создателей школы математической логики в СССР, академик АН СССР, лауреат Ленинской премии. Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп. В настоящей книге сделана попытка дать по возможности...

Пер. с англ. Ю. А. Гастева и И. Х. Шмаина. — Под ред. Ю. А. Шихановича. — М.: Просвещение, 1968. — 231 с. В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций над множествами), математической логики (элементы логики высказываний и логики предикатов), оснований математики (аксиоматический метод) и теории...