Ткаченко, С. В. Элементы математической логики [Электронный ресурс] : учебное пособие для СПО / Ткаченко С. В. - Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2020. - 99 с. - ISBN 978-5-88247-964-9, 978-5-4488-0752-7 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): булева алгебра -- булева функция -- логическая операция -- математическая логика -- функциональная полнота Аннотация: В учебном пособии рассмотрены основные разделы математической логики: булевы алгебры и булевы функции, теорема о функциональной полноте. Издание содержит большое количество примеров, тестов и индивидуальных домашних заданий. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплины «Элементы математической логики» по укрупненным группам специальностей 09.00.00 «Информатика и вычислительная техника» и 10.00.00 «Информационная безопасность». Доп.точки доступа: Сысоев, А. С. Свободных экз. нет |