Элементы математической логики, учебник, 3-е изд.

Учебник создан в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования по специальностям укрупненной группы «Информатика и вычислительная техника»; ЕН.02 «Элементы математической логики». В учебнике представлены с двух точек зрения – содержательной (семантической) и формальной (синтаксической) – два основных раздела математической логики – алгебра высказываний и логика предикатов. Теоремы о полноте в этих разделах устанавливают взаимосвязи между двумя составными частями математической логики. Рассмотрено, как математическая логика проникает в математические теории – на содержательном и формальном уровнях, – становясь основой аксиоматического метода и превращая математические теории в аксиоматические – содержательные и формальные. Для студентов учреждений среднего профессионального образования.