QR code of document
142588
Афанасьев, С. Г.
Математическая логика : учебное пособие для СПО / Афанасьев С. Г. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2024. - 88 с. - ISBN 978-5-4488-2222-3, 978-5-4497-3543-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК | 510.6 |
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие содержит основные понятия, формулы и законы алгебры высказываний, исчисления высказываний, алгебры предикатов и рассуждений. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Предназначено для студентов укрупненной группы профессий и специальностей «Информатика и вычислительная техника» и укрупненной группы специальностей «Информационная безопасность», изучающих дисциплины «Дискретная математика с элементами математической логики», «Элементы математической логики», «Дискретная математика».
Similar publications by classification