Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана

Подробное описание документа

Марченков, С. С. Основы теории булевых функций : учебное пособие / С. С. Марченков. — Москва : ФИЗМАТЛИТ, 2014. — 136 с. — ISBN 978-5-9221-1562-9.

Книга содержит развернутое введение в теорию булевых функций. Изложе- ны основные свойства булевых функций и доказан критерий функциональной полноты. Приведено описание всех замкнутых классов булевых функций (клас- сов Поста) и дано новое доказательство их конечной порождаемости. Рассмот- рено задание классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для классов Поста. Введены и исследованы два «сильных» оператора замыкания: параметрического и позитивного. Рассмотрены частичные булевы функции и доказан критерий функциональной полноты для класса частичных булевых функций. Исследована сложность реализации булевых функций схемами из функциональных элементов. Для студентов, аспирантов и преподавателей высшей школы, изучающих и преподающих дискретную математику и математическую кибернетику.