Элементы математической логики

Авторы: Ткаченко С.В., Сысоев А.С.

Издательство: Липецкий государственный технический университет, Профобразование

В учебном пособии рассмотрены основные разделы математической логики: булевы алгебры и булевы функции, теорема о функциональной полноте. Издание содержит большое количество примеров, тестов и индивидуальных домашних заданий. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплины «Элементы математической логики» по укрупненным группам специальностей «Информатика и вычислительная техника» и «Информационная безопасность».