Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems, Drechsler Rolf, Soeken Mathias

Автор: Steven Givant; Paul Halmos
Название: Introduction to Boolean Algebras
ISBN: 1441923241 ISBN-13(EAN): 9781441923240
Издательство: Springer
Рейтинг:
Цена: 40010.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is an informal though systematic series of lectures on Boolean algebras. It contains background chapters on topology and continuous functions and includes hundreds of exercises as well as a solutions manual.

Автор: Rolf Drechsler; Mathias Soeken
Название: Advanced Boolean Techniques
ISBN: 3030203220 ISBN-13(EAN): 9783030203221
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 13th annual International Workshop on Boolean Problems.

Автор: Bernd Steinbach, Christian Posthoff
Название: Boolean Differential Calculus
ISBN: 1627059229 ISBN-13(EAN): 9781627059220
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 72070.00 T
Наличие на складе: Невозможна поставка.
Описание: The Boolean Differential Calculus is a powerful theory that extends the basic concepts of Boolean Algebras significantly. Its applications are based on Boolean spaces and Boolean operations, and basic structures such as Boolean Algebras and Boolean Rings, Boolean functions, Boolean equations, Boolean inequalities, incompletely specified Boolean functions, and Boolean lattices of Boolean functions.

Автор: Frank Markham Brown
Название: Boolean Reasoning
ISBN: 1475720807 ISBN-13(EAN): 9781475720808
Издательство: Springer
Рейтинг:
Цена: 121890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Such equations were central in the "algebra of logic" created in 1847 by Boole [12, 13] and devel- oped by others, notably Schroder [178], in the remainder of the nineteenth century.

Автор: Stephan Eggersgl??; Rolf Drechsler
Название: High Quality Test Pattern Generation and Boolean Satisfiability
ISBN: 1489988475 ISBN-13(EAN): 9781489988478
Издательство: Springer
Рейтинг:
Цена: 95770.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). It presents a fast and highly fault efficient SAT-based ATPG framework.

Автор: David P. Rosin
Название: Dynamics of Complex Autonomous Boolean Networks
ISBN: 3319367064 ISBN-13(EAN): 9783319367064
Издательство: Springer
Рейтинг:
Цена: 87060.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This thesis focuses on the dynamics of autonomous Boolean networks, on the basis of Boolean logic functions in continuous time without external clocking.

Автор: S. Fuchino; Lutz Heindorf; Leonid B. Shapiro
Название: Nearly Projective Boolean Algebras
ISBN: 354058787X ISBN-13(EAN): 9783540587873
Издательство: Springer
Рейтинг:
Цена: 41920.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book is a fairly complete and up-to-date survey of projectivity and its generalizations in the class of Boolean algebras. Although algebra adds its own methods and questions, many of the results presented were first proved by topologists in the more general setting of (not necessarily zero-dimensional) compact spaces.

Автор: Victoria C. Carlsen
Название: Boolean Logic, Expressions and Theories: An Overview
ISBN: 1536169854 ISBN-13(EAN): 9781536169850
Издательство: Nova Science
Рейтинг:
Цена: 77080.00 T
Наличие на складе: Невозможна поставка.
Описание: 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. In this compilation, the authors justify the need for this novel approach and describe the inference procedure. Next, an extended Boolean logic is introduced, denoted by LLT, called "star-finite" or "hyperfinite" logic. LLT is closely related to infinitary logics, which have been investigated extensively. Lastly, generalized Boolean functions are introduced, and an overview with regard to constructions of Golay complementary sequences from generalized Boolean functions is given.

Автор: Steven Givant
Название: Duality Theories for Boolean Algebras with Operators
ISBN: 3319350269 ISBN-13(EAN): 9783319350264
Издательство: Springer
Рейтинг:
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Bernd Steinbach, Christian Posthoff
Название: Boolean Differential Equations
ISBN: 1627052410 ISBN-13(EAN): 9781627052412
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 46200.00 T
Наличие на складе: Невозможна поставка.
Описание: Generally speaking, a Boolean differential equation (BDE) is an equation in which elements of the BDC appear. It includes variables, functions, and derivative operations of these functions. The solution of such a BDE is a set of Boolean functions. This is a significant extension of Boolean equations, which have sets of Boolean vectors as solutions.

Автор: Sergei S. Goncharov
Название: Countable Boolean Algebras and Decidability
ISBN: 030611061X ISBN-13(EAN): 9780306110610
Издательство: Springer
Рейтинг:
Цена: 194730.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Describes the Russian research covering the structure and algorithmic properties of Boolean algebras from the algebraic and model-theoretic points of view. This text presents results as well as a selection of open questions on Boolean algebras. It features discussions of the Kottonen algebras in enrichments by ideals and automorphisms.

Автор: John Rhodes; Pedro V. Silva
Название: Boolean Representations of Simplicial Complexes and Matroids
ISBN: 3319151134 ISBN-13(EAN): 9783319151137
Издательство: Springer
Рейтинг:
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This self-contained monograph explores a new theory centered around boolean representations of simplicial complexes leading to a new class of complexes featuring matroids as central to the theory.