Society for Industrial and Applied Mathematics, 2001, -119 pp. This book presents a nearly complete classification of various restricted classes of computational problems called Boolean constraint satisfaction problems. Roughly, these are problems whose instances describe a collection of simple constraints on Boolean variables. A typical goal would be to find a setting to the...
New York, USA: Dover Publications, Inc., 2018. — 156 p. — (Dover Books on Mathematics). —– ISBN: 9780486828046, 0486828042. Starting with Boolean rings and algebras, the treatment examines fields of sets, regular open sets, elementary relations, infinite operations, subalgebras, homomorphisms, free algebras, ideals and filters, and the homomorphism theorem. Additional topics...
Boca Raton: CRC Press, 1982. — 314 p. Boolean matrices are square matrices over the Boolean algebra of order 2, represented by (0,1}, where 0 + 0 = 0, 0 + 1 = 1 + 0 = 1 + 1 = 1, 0.0 = 0.1 = 1 • 0 = 0 and 1.1 = 1. Such matrices, together with matrix operations defined in terms of the Boolean addition and multiplication, have important applications to several subjects in the...
Barron's Educational Series, 1979. This book was intended for students who plan to study in the humanities and in the social and management sciences. Students interested in the physical and natural sciences, however, might also find its study rewarding. All that is presupposed is some high school algebra. The authors strongly urge that the topics be studied in the order in which...
Издательство North-Holland, 1989, -1437 pp. The genesis of the motion of a Boolean algebra (BA) is, of course, found in the works of George Boole; but his works are now only of historical interest - cf. Hailperin [1981] in the bibliography (elementary part). The notions of Boolean algebra were developed by many people in the early part of this century- Schroder, Lowenheim, etc....
Издательство Cambridge University Press, 1992, -211 pp. Complexity theory attempts to understand and measure the intrinsic difficulty of computational tasks. The study of Boolean Function Complexity reaches for the combinatorial origins of these difficulties. The field was pioneered in the 1950's by Shannon, Lupanov and others, and has developed now into one of the most...
А. С. Балюк, С. Ф. Винокуров, А. И. Гайдуков и др. — М.: Физматлит, 2001. — 192 с. Рассматриваются разделы теории булевых функций, интенсивно развивающиеся в настоящее время: представление бинарными термами, бесповторными термами и полиномиальными формами. Введение в теорию булевых функций Определение и формы представления функций Декомпозиция функций Разложения функций по...
М.: Наука, 1969. — 319 с. Первые две главы книги образуют элементарное введение в теорию булевых алгебр; здесь приводятся основные факты этой теории, даётся обзор её важнейших приложений. Последующие главы в основном посвящены полным булевым алгебрам, в первую очередь алгебрам с мерой, особенно важным для теории вероятностей и функционального анализа. Многие приводимые в книге...
Новосибирск: Научная книга, 1996. — 364 с. — (Сибирская школа алгебры и логики). Третий том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Существенно переработанная...
М.: Физматлит, 2000. — 128 с. В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов....
М.: Наука, Физматлит, 1991. — 240 с. — ISBN: 5-02-014258-1. Содержит основные сведения по сложности булевых функций начиная с ранних работ К. Шеннона. Включает широко известные результаты С. В. Яблонского, О. Б. Лупанова, Ю. И. Журавлёва, Э. И. Нечипорука и работы последнего времени по нижним оценкам сложности булевых функций. Наибольшее внимание уделяется проблеме нижних...
Перязев Н.А. Основы теории булевых функций. - М.: Физматлит, 2000. - 109 с.
Изложены основы теории булевых функций. Основное внимание уделено представлениям булевых функций термами. Рассмотрены разделы: разложения и канонические формы, дифференциальное исчисление, разложение в ряды, замкнутость и полнота. Для студентов младших курсов математических факультетов ВУЗов.
М.: Мир, 1969. — 376 с. Книга выдающегося польского математика Р. Сикорского посвящена одному из важнейших разделов современной математики — теории булевых алгебр. Это наиболее полное изложение теории булевых алгебр с теоретико-множественной точки зрения. В книге, по-видимому, впервые систематически изучаются булевы алгебры с бесконечными операциями. Последний раздел (дополнение)...
М.: Советское Радио, 1980. — 192 с. На конкретном примере структуры (алгебры) Буля в книге излагается общая схема создания математических теорий и приложений этих теорий к явлениям реальной жизни. Главное место в книге занимает алгебра высказываний, являющаяся фундаментом математической логики, алгебра релейно-контактных схем, лежащая в основе проектирования сложных...
Комментарии