Книга: С.С. Марченков «Замкнутые классы булевых функций»
Серия: "-" В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций(классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые `сильные` операторы замыкания, которые приводят к конечным решеткам замкнутых классов. Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции Воспроизведено в оригинальной авторской орфографии издания 2000 года (издательство "ФИЗМАТЛИТ" ). Издательство: "ФМЛ" (2000)
Купить за 519 руб в My-shop |
Другие книги автора:
Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|
Булевы функции | Брошюра знакомит читателя с булевыми функциями - одним из важнейших классов дискретных функций. В ней… — ФМЛ, - Подробнее... | бумажная книга |
См. также в других словарях:
Замкнутые классы булевых функций — Замкнутый класс в теории булевых функций такое множество функций алгебры логики, замыкание которого относительно операции суперпозиции совпадает с ним самим: . Другими словами, любая функция, которую можно выразить формулой с использованием … Википедия
Предполные классы — Предполный класс в теории булевых функций замкнутый класс булевых функций, обладающий следующим свойством замыкание объединения этого класса с любой булевой функцией, не принадлежащей ему, порождает все . Множество предполных классов булевых… … Википедия
Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… … Википедия
Критерий Поста — одна из центральных теорем в теории булевых функций, устанавливающая необходимое и достаточное условие для того, чтобы некоторый набор булевых функций обладал достаточной выразительностью, чтобы представить любую булеву функцию. Впервые… … Википедия
Полином Жегалкина — Полином Жегалкина многочлен над кольцом , то есть полином с коэффициентами вида 0 и 1, где в качестве произведения берётся конъюнкция, а в качестве сложения исключающее или. Полином был предложен в 1927 году… … Википедия