Элементы математической логики

Игошин В. И. Элементы математической логики: учебник для использования в учебном процессе образовательных учреждений, реализующих программы СПО по специальностям "Компьютерные сети", "Программирование в компьютерных системах", "Информационные системы (по отраслям)" / В. И. Игошин. - 2-е издание, стереотипное. - Москва: Академия, 2017. - 313, [1] с.

Учебник создан в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования по специальностям укрупненной группы «Информатика и вычислительная техника»; ЕН.02 «Элементы математической логики».

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

Для студентов учреждений среднего профессионального образования.