Полное описание
>
Алаев, П. Е. Математическая логика : учебное пособие для СПО / Алаев П. Е. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2020. - 98 с. - URL: https://www.iprbookshop.ru/96015.html (дата обращения: 11.04.2023) . - Режим доступа: ЭБС IPR SMART. - Текст : электронный.Книга находится в Премиум-версии IPR SMART.
УДК | |
510 |
ББК | |
22.1 |
Кл.слова (ненормированные): АЛГЕБРАИЧЕСКАЯ СИСТЕМА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МНОЖЕСТВО -- ПРЕДИКАТ -- ФОРМУЛА
Аннотация: Учебное пособие включает разделы, посвященные формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами. Подготовлено на основе ранее выпущенного в 2018 году для высшего образования учебного пособия «Математическая логика в 2 частях. Часть 1». Учебное пособие предназначено для изучения дисциплин «Математическая логика и теория алгоритмов», «Дискретная математика с элементами математической логики», «Элементы математической логики» по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность».
Доп. точки доступа:
Максимова, Л. Л.
Держатели документа:
Цифровой образовательный ресурс IPR SMART : 143405, Московская область, г. Красногорск, ш. Ильинское, д. 1А, помещ. 17,6/ком. 5 (Шифр в БД-источнике (IPRBOOKS): 96015)>
Шифр в сводном ЭК: 441d3bc8f39929bdca59e3f7ac43dcca
Просмотр издания ЭБС IPR SMART