М 30 Марченков, С. С. Замкнутые классы булевых функций [Электронный ресурс] : монография / С. С. Марченков. - Москва : Физматлит, 2000. - 130 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-9221-0066-1 : Б. ц.
Аннотация: В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые «сильные» операторы замыкания, которые приводят к конечным решеткам замкнутых классов.Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции. Полный текст/внешний ресурс скачать: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация Свободных экз. нет |
М 30 Марченков, С. С. Булевы функции [Электронный ресурс] : методическое пособие / С. С. Марченков. - Москва : Физматлит, 2002. - 72 с. - (Популярные лекции по математике). - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-9221-0253-2 : Б. ц.
Аннотация: Брошюра знакомит читателя с булевыми функциями — одним из важнейших классов дискретных функций. В ней излагаются основные понятия теории булевых функций, доказывается критерий функциональной полноты и рассматриваются вопросы сложности реализации булевых функций.Брошюра предназначена для школьников старших классов и студентов первых курсов. Полный текст/внешний ресурс скачать: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация Свободных экз. нет |