Поиск :
Личный кабинет :
Электронный каталог: Марченков, С. С. - Замкнутые классы булевых функций
Марченков, С. С. - Замкнутые классы булевых функций
Нет экз.
Электронный ресурс
Автор: Марченков, С. С.
Замкнутые классы булевых функций
Издательство: ФИЗМАТЛИТ, 2000 г.
ISBN 5-9221-0066-1
Автор: Марченков, С. С.
Замкнутые классы булевых функций
Издательство: ФИЗМАТЛИТ, 2000 г.
ISBN 5-9221-0066-1
На полку
Электронный ресурс
Марченков, С. С.
Замкнутые классы булевых функций. – Москва : ФИЗМАТЛИТ, 2000. – 130 с. – URL: https://biblioclub.ru/index.php?page=book&id=82566. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – На рус. яз. – ISBN 5-9221-0066-1.
В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые «сильные» операторы замыкания, которые приводят к конечным решеткам замкнутых классов.Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции.
519.7
Марченков, С. С.
Замкнутые классы булевых функций. – Москва : ФИЗМАТЛИТ, 2000. – 130 с. – URL: https://biblioclub.ru/index.php?page=book&id=82566. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – На рус. яз. – ISBN 5-9221-0066-1.
В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые «сильные» операторы замыкания, которые приводят к конечным решеткам замкнутых классов.Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции.
519.7