Математическая логика. Учебное пособие для СПО

Учебное пособие содержит основные понятия, формулы и законы алгебры высказываний, исчисления высказываний, алгебры предикатов и рассуждений. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Предназначено для студентов укрупненных групп специальностей 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность», изучающих дисциплины «Дискретная математика с элементами математической логики», «Элементы математической логики», «Дискретная математика».

Афанасьев С.Г. Математическая логика : учебное пособие для СПО / Афанасьев С.Г.. — Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2021. — 88 c. — ISBN 978-5-4488-1081-7, 978-5-4497-0965-3. — Текст : электронный // IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/103657.html (дата обращения: 09.06.2023). — Режим доступа: для авторизир. пользователей