Вид документа : Однотомное издание Шифр издания : 92841 Автор(ы) : Ткаченко С. В., Сысоев А. С. Заглавие : Элементы математической логики : Учебное пособие для СПО Выходные данные : Липецк, Саратов: Липецкий государственный технический университет, Профобразование, 2020 Колич.характеристики :99 с Примечания : Книга находится в Премиум-версии ЭБС IPRbooks. ISBN, Цена 978-5-88247-964-9, 978-5-4488-0752-7: Б.ц. УДК : 517 ББК : 22.1 Ключевые слова (''Своб.индексиров.''): булева алгебра--булева функция--логическая операция--математическая логика--функциональная полнота Аннотация: В учебном пособии рассмотрены основные разделы математической логики: булевы алгебры и булевы функции, теорема о функциональной полноте. Издание содержит большое количество примеров, тестов и индивидуальных домашних заданий. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплины «Элементы математической логики» по укрупненным группам специальностей 09.00.00 «Информатика и вычислительная техника» и 10.00.00 «Информационная безопасность». Доп.точки доступа: Сысоев, А. С.