Подробное описание документа
Афанасьев, С. Г. Математическая логика : учебное пособие для СПО / С. Г. Афанасьев. — 2-е изд. — Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2024. — 88 с. — ISBN 978-5-4488-2222-3, 978-5-4497-3543-0.
Учебное пособие содержит основные понятия, формулы и законы алгебры высказываний, исчисления высказываний, алгебры предикатов и рассуждений. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Предназначено для студентов укрупненной группы профессий и специальностей «Информатика и вычислительная техника» и укрупненной группы специальностей «Информационная безопасность», изучающих дисциплины «Дискретная математика с элементами математической логики», «Элементы математической логики», «Дискретная математика».
