Учебное пособие. — Самара: Самарская государственная академия путей сообщения (СамГАПС), 2004. — 20 с. Методические указания по дисциплине «Дискретная математика» для студентов заочной формы обучения специальностей 230201 «Информационные системы и технологии» и 230102 «Автоматизированные системы обработки информации и управления». Данные методические указания предназначены для...
Учебно-методическое пособие. — Томск: Томский государственный университет (ТГУ), 2002. Булевы константы и векторы. Булево пространство, интервал в булевом пространстве. Булевы переменные, булевы функции, фиктивные переменные. Формулы и равносильности. Двойственная функция и двойственная формула. Разложение булевой функции по переменным и совершенные нормальные формы....
М.: Советское радио, 1980. — 192 с.: ил. На конкретном примере структуры (алгебры) Буля в книге излагается общая схема создания математических теорий и приложений этих теорий к явлениям реальной жизни. Главное место в книге занимает алгебра высказываний, являющаяся фундаментом математической логики, алгебра релейно-контактных схем, лежащая в основе проектирования сложных...
Издательство Cambridge University Press, 2011, -711 pp. Boolean functions, meaning {0,1}-valued functions of a finite number of {0,1}- valued variables, are among the most fundamental objects investigated in pure and applied mathematics. Their importance can be explained by several interacting factors. It is reasonable to argue that a multivariate function f :A1×A2×...×An→ A is...
Springer, 2009. — 588 p. — (Undergraduate Texts in Mathematics). The theory of Boolean algebras was created in 1847 by the English mathematician George Boole. He conceived it as a calculus (or arithmetic) suitable for a mathematical analysis of logic. The form of his calculus was rather different from the modern version, which came into being during the period 1864–1895 through...
М.: Наука, 1969. — 319 с. Первые две главы книги образуют элементарное введение в теорию булевых алгебр; здесь приводятся основные факты этой теории, дается обзор ее важнейших приложений. Последующие главы в основном посвящены полным булевым алгебрам, в первую очередь алгебрам с мерой, особенно важным для теории вероятностей и функционального анализа. Многие приводимые в книге...
Учебное пособие по спецкурсу. — Новосибирск: НГУ, 2005. — 93 с. В пособии даются основные определения из курса булевой алгебры, рассматриваются идеалы, фактор-алгебры и гомоморфизмы, простые идеалы и тождества, точные последовательности и идеальные пополнения, стоуновские топологические пространства, линейные базисы, операторы, суператомные алгебры Ершова и другие вопросы.
М.: Физматлит, 2014. — 136 с. — ISBN: 978-5-9221-1562-9. Книга содержит развернутое введение в теорию булевых функций. Изложены основные свойства булевых функций и доказан критерий функциональной полноты. Приведено описание всех замкнутых классов булевых функций (классов Поста) и дано новое доказательство их конечной порождаемости. Рассмотрено задание классов Поста в терминах...
Saarbrucken, Germany: LAP LAMBERT Academic Publishing, 2011. — 180 с. — ISBN 978-3-8433-0904-2. Теоретические результаты исследования Работа относится к такой области дискретной математики, как булевы функции и их приложения в комбинаторике, теории кодирования и криптографии. Исследуется класс булевых функций, обладающих сильными свойствами нелинейности: бент-функции и их...
М.: Московский Государственный Технический Университет им. Н.Э. Баумана. Без года. — 158 с. Факультет ИУ. Кафедра ИУ-8. Не распознано. Булевы функции Линейные булевы пространства Линейные булевы пространства и булевы функции Сложность вычисления булевых функций Специальные булевы функции и операторы Асимптотические методы построения схем Средняя сложность булевых функций...
Springer, 2011. — 633 p. Boolean circuit complexity is the combinatorics of computer science and involves many intriguing problems that are easy to state and explain, even for the layman. This book is a comprehensive description of basic lower bound arguments, covering many of the gems of this complexity Waterloo that have been discovered over the past several decades, right up...
Cambridge University Press, 2014. — 444 p. — ISBN: 1107038324, 9781107038325 Boolean functions are perhaps the most basic objects of study in theoretical computer science. They also arise in other areas of mathematics, including combinatorics, statistical physics, and mathematical social choice. The field of analysis of Boolean functions seeks to understand them via their...
Издательство John Wiley, 1987, -469 pp.
Различные аспекты теории сложности: булевы функции, схемы, формулы, программы итд.
Булевы функции и схемы.
Минимизация булевых функций.
Разработка эффективных схем для некоторых важных функций.
Асимптотики и универсальные схемы.
Нижние границы сложности схем.
Монотонные схемы.
Связь между сложностью схем, сложностью формул и их...
Cambridge University Press, 2020. — 577 p. — ISBN: 978-1-108-47380-4, 978-1-108-60680-6. Boolean functions are essential to systems for secure and reliable communication. This comprehensive survey of Boolean functions for cryptography and coding covers the whole domain and all important results, building on the author's influential articles with additional topics and recent...
М.: Московский центр непрерывного математического образования (МЦНМО), 2004. — 470 с. — ISBN 5-94057-117-4. В книге впервые на русском языке в систематическом виде изложены криптографические и теоретико-кодовые аспекты использования аппарата теории булевых функций. Для понимания книги достаточно сведений, имеющихся и университетских курсах по линейной алгебре, теории групп,...
New York: Wiley-IEEE Press, 1998. — 290 p. This book explains, in lay terms, the surprisingly simple system of mathematical logic used in digital computer circuitry. Anecdotal in its style and often funny, it follows the development of this logic system from its origins in Victorian England to its rediscovery in this century as the foundation of all modern computing machinery....
Учебно-методическое пособие. — Нижний Новгород: Нижегородский госуниверситет, 2017. — 58 с. В пособии изучаются основные понятия и различные представления функций алгебры логики. Особое внимание уделяется проблеме полноты систем булевых функций. Изложение каждой темы сопровождается необходимым теоретическим материалом и примерами решения типовых задач, а также предлагаются...
СПб: Университет ИТМО, 2018. — 37 с. Пособие содержит введение в теорию булевых функций. Изложены основные свойства булевых функций и доказан критерий функциональной полноты. Рассчитано на бакалавров 09.03.04 Программная инженерия. Содержание Основные понятия Булев куб Определение булевых функций Формулы и реализация булевых функций формулами Разложения булевых функций по...
Springer, 2014. — 246 p. — (Springer Monographs in Mathematics). — ISBN: 3319067427. In this new text, Steven Givant—the author of several acclaimed books, including works co-authored with Paul Halmos and Alfred Tarski—develops three theories of duality for Boolean algebras with operators. Givant addresses the two most recognized dualities (one algebraic and the other...
Монография. — М.: МАКС Пресс, 2020. — 72 с. — ISBN: 978-5-317-06377-1. В книге собраны результаты исследований по булевой сводимости, которые автор проводил в течение последних 15 лет. Основное содержание книги направлено на выявление структурных особенностей частично упорядоченных множеств LQ, отвечающих различным замкнутым классам Q булевых функций. Книга состоит из семи...
Учебное пособие. — Самара: Самарский национальный исследовательский университет (СНИУ) имени академика С.П. Королева, 2023. — 100 с.: ил. В пособии изложены основные вопросы булевой алгебры. Рассмотрены свойства булевых функций, методы их минимизации и приведения к нормальным формам. Приведено описание всех замкнутых классов булевых функций, а также методы определения полноты...
Учебное пособие. — М.: Московский государственный гуманитарно-экономический университет, 2017. — 58 с. — ISBN: 9785979900957. В учебном пособии рассмотрены элементы математической логики и основы теории дискретных функций и их минимизация. Даны определения булевой алгебры, замкнутых классов булевых функций, функциональной полноты, формул алгебры высказываний, дизъюнктивных и...
World Scientific Publishing Co. Pte. Ltd., 2021. — 317 p. — ISBN 9781800610088. Boolean Structures: Combinatorics, Codification, Representation offers the first analytical and architectural approach to Boolean algebras based combinatorial calculus and codification with applications in IT, quantum information and classification of data.
N.-Y.: Springer, 2015. — 173 p. Contains open problems and new ideas for research Develops a geometric theory in an extended context Uses the lattice structure for all representations of boolean representations of simplicial complexes This self-contained monograph explores a new theory centered around boolean representations of simplicial complexes leading to a new class of...
Cambridge Scholars Publishing, 2014. - 459 pages. ISBN: 978-1443856386
In today’s world, people are using more and more digital systems in daily life. Such systems utilize the elementariness of Boolean values. A Boolean variable can carry only two different Boolean values: FALSE or TRUE (0 or 1), and has the best interference resistance in technical systems. However, a Boolean...
New York: Springer, 2016. — 267 p. This book focuses on the different representations and cryptographic properties of Booleans functions, presents constructions of Boolean functions with some good cryptographic properties. More specifically, Walsh spectrum description of the traditional cryptographic properties of Boolean functions, including linear structure, propagation...
Cham: Springer, 2023. — 174 p. This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 15th annual International Workshop on...
Springer, 2012. — 342 p. — ISBN: 978-0-8176-4218-1. Sheaves of Algebras over Boolean Spaces comprehensively covers sheaf theory as applied to universal algebra. The text presents intuitive ideas from topology such as the notion of metric space and the concept of central idempotent from ring theory. These lead to the abstract notions of complex and factor element, respectively....
Springer, 2010. — 627 p. Boolean Algebras in Analysis consists of two parts. The first concerns the general theory at the beginner's level. Presenting classical theorems, the book describes the topologies and uniform structures of Boolean algebras, the basics of complete Boolean algebras and their continuous homomorphisms, as well as lifting theory. The first part also includes...
Учебно-методическое пособие. — Ижевск: Ижевский государственный технический университет имени М.Т. Калашникова (ИжГТУ), 2019. — 52 с. В настоящем учебно-методическом пособии по дисциплине «Дискретная математика» приведены условия задач типового расчета по одной из важных и сложных тем булевой алгебры, имеющей многочисленные практические применения — минимизации функций алгебры...
Электронный учебник. — Изд. 4-е, испр. и доп. — Екатеринбург: Уральский государственный экономический университет (УрГЭУ), 2012. — 243 с. Раздел электронного учебника для сопровождения лекции. Определение булевой алгебры Элементарные теоремы теории булевых алгебр Критерий обратного элемента Следствие о дополнении к 0 и 1 Теорема об инволютивности "дополнения" Теорема об...
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...
Newcastle upon Tyne: Cambridge Scholars Publishing, 2016. — 482 p. Methods, Algorithms, and Programs General methods Efficient calculations Applications Several aspects of security Exploration of properties Towards Future Technologies Reversible circuits Quantum circuits. A vector space method for Boolean switching networks Solving combinatorial problems using Boolean equations...
Hoboken: Wiley, 2019. — 186 p. The essential guide showing how the unbounded delay model of computation of the Boolean functions may be used in the analysis of the Boolean networks Boolean Functions: Topics in Asynchronicity contains the most current research in several issues of asynchronous Boolean systems. In this framework, asynchronicity means that the functions which...
Электронный учебник. — Изд. 2-е, испр. и доп. — Екатеринбург: Уральский государственный экономический университет (УрГЭУ), 2009. — 225 с. Раздел электронного учебника для сопровождения лекций. Определение булевой алгебры Элементарные теоремы теории булевых алгебр Критерий обратного элемента Следствие о дополнении к 0 и 1 Теорема об инволютивности "дополнения" Теорема об...
Диссертация на соискание учёной степени кандидата физико-математических наук. Специальность: 01.01.09 – математическая кибернетика. Научный руководитель: доктор физико-математических наук, член-корреспондент РАН, профессор О. Б. Лупанов Москва 2000.
Nova Science, 2020. — 128 p. The Boolean function network is a systematical approach proposed for the inference of gene regulatory networks and related Boolean functions. This procedure utilizes two steps to integrate the hidden Markov model, likelihood ratio test and Boolean functions for discovering direct pairwise relations between genes from time-course transcriptome data....
М.: Физматлит, 2000. — 128 с. В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов....
Методическое пособие для студентов направления «Информатика и вычислительная техника». — Екатеринбург: УрФУ имени первого Президента России Б.Н. Ельцина, 2012. — 22 с. Одной из основных задач при использовании переключательных функций (функций алгебры логики (ФАЛ)) является задача получения минимального представления функции в виде формулы, соответствующей этой ФАЛ. С...
Учебное пособие. — М.: МГТУРЭА (МИРЭА), 2015. — 160 с. — ISBN 978-5-7339-1334-6. Учебное пособие предназначено для студентов МИРЭА первого курса, изучающих дисциплину «Дискретная математика» и обучающихся по направлениям подготовки «Информатика и вычислительная техника», «Конструирование и технология электронных средств», «Электроника и наноэлектроника». В пособии рассмотрены...
Пособие для практических занятий по дисциплине «Теория дискретных устройств». — Гомель: Белорусский государственный университет транспорта (БелГУТ), 2004. — 46 с. Рассматриваются вопросы задания и минимизации полностью и неполностью заданных функций алгебры логики при помощи законов алгебры логики, карт Карно, методами Квайна, Квайна–Мак-Класки и существенных переменных....
Методические указания к практическим работам. — Томск: АлКом, 2021. — 76 с. В пособии представлены практические задания по дисциплине «Логическое управление и защиты». Каждая работа содержит краткое изложение теоретических сведений, разобранные примеры выполнения заданий и варианты для самостоятельной индивидуальной проработки изученного материала. В практических работах...
Комментарии