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 Рейтинг: Цена: 6002.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Provides a single-source reference to the state-of-the-art research in the field of logic synthesis and Boolean techniques;Includes a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems;Covers Boolean algebras, Boolean logic, Boolean modeling, Combinatorial Search, Boolean and bitwise arithmetic, Software and tools for the solution of Boolean problems, Applications of Boolean logic and algebras, Applications to real-world problems, Boolean constraint solving, and Extensions of Boolean logic.
Автор: Frank Markham Brown Название: Boolean Reasoning ISBN: 1475720807 ISBN-13(EAN): 9781475720808 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Sergei S. Goncharov Название: Countable Boolean Algebras and Decidability ISBN: 030611061X ISBN-13(EAN): 9780306110610 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Monk J. Donald Название: Cardinal Invariants on Boolean Algebras ISBN: 3034807295 ISBN-13(EAN): 9783034807296 Издательство: Springer Рейтинг: Цена: 15233.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Along with almost 200 fascinating open problems, this updated edition covers most of what we know about Boolean cardinal invariants, and includes detailed studies of 21 cardinal number valued functions such as cellularity, defined for any Boolean algebra.
Описание: Adopting a new universal algebraic approach, this book explores and consolidates the link between Tarski`s classical theory of equidecomposability types monoids, abstract measure theory (in the spirit of Hans Dobbertin`s work on monoid-valued measures on Boolean algebras) and the nonstable K-theory of rings.
Автор: Stephan Eggersgl??; Rolf Drechsler Название: High Quality Test Pattern Generation and Boolean Satisfiability ISBN: 1489988475 ISBN-13(EAN): 9781489988478 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: S. Fuchino; Lutz Heindorf; Leonid B. Shapiro Название: Nearly Projective Boolean Algebras ISBN: 354058787X ISBN-13(EAN): 9783540587873 Издательство: Springer Рейтинг: Цена: 6288.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 11562.00 р. Наличие на складе: Невозможна поставка.
Описание: 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 Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: John Rhodes; Pedro V. Silva Название: Boolean Representations of Simplicial Complexes and Matroids ISBN: 3319151134 ISBN-13(EAN): 9783319151137 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Rolf Drechsler; Stephan Eggersgl??; G?rschwin Fey; Название: Test Pattern Generation using Boolean Proof Engines ISBN: 9048184916 ISBN-13(EAN): 9789048184910 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Providing an introduction to ATPG, this book reviews the basic concept and classical ATPG algorithms. It is the first book to give a detailed overview on SAT-based ATPG. It describes the state-of-the-art in the field and shows directions for future work.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
