Подробное описание документа

Игошин В. И.
   Элементы математической логики : учебник для СПО / Игошин В. И. - 2-е изд., стер. - М. : Академия, 2017. - 313 с. : ил. - (Профессиональное образование. Информатика и вычислительная техника). - Библиогр.: с. 311-312. - ISBN 978-5-4468-4664-1.

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