Título: Branching Programs and Binary Decision Diagrams: Theory and Applications
Autor: Ingo Wegener
Sinopse: Finite functions (in particular, Boolean functions) play a fundamental role in computer science and discrete mathematics. This book describes representations of Boolean functions that have small size for many important functions and which allow efficient work with the represented functions. The representation size of important and selected functions is estimated, upper and lower bound techniques are studied, efficient algorithms for operations on these representations are presented, and the limits of those techniques are considered. This book is the first comprehensive description of theory and applications. Research areas like complexity theory, efficient algorithms, data structures, and discrete mathematics will benefit from the theory described in this book. The results described within have applications in verification, computer-aided design, model checking, and discrete mathematics. This is the only book to investigate the representation size of Boolean functions and efficient algorithms on these representations.
Contexto da obra
Quando a classificação é mais ampla, o contexto do livro costuma depender ainda mais de autoria, tema e edição. “Branching Programs and Binary Decision Diagrams: Theory and Applications”, de Ingo Wegener, publicado pela editora Society for Industrial and Applied Mathematics, em 1987 e com 418 páginas, integra a categoria Livros Variados. Por isso, autoria, edição e tema acabam tendo ainda mais peso na forma de apresentar o livro.
Editora: Society for Industrial and Applied Mathematics
Páginas: 418
Ano: 1987
Edição:
Linguagem: pt_BR
ISBN: 0898714583
ISBN13: 9780898714586
Sobre a editora
Os livros da editora Society for Industrial and Applied Mathematics oferecem uma imersão em temas avançados da matemática aplicada e suas interfaces com a engenharia, física e ciências biológicas. A experiência de leitura é marcada por uma abordagem rigorosa e didática, com textos que combinam teoria matemática detalhada e aplicações concretas, como modelagem de sistemas dinâmicos, controle de sistemas não lineares e métodos numéricos para problemas complexos. O catálogo revela um equilíbrio entre obras mais teóricas, que exploram fundamentos matemáticos profundos, e outras com foco prático, incluindo exemplos computacionais e problemas para fixação. A linguagem é técnica, porém estruturada para atender desde estudantes avançados até pesquisadores, com capítulos e seções que facilitam o estudo autônomo. Essa diversidade permite navegar por conteúdos que vão do desenvolvimento de algoritmos até análises de sistemas fisiológicos, sempre com um tom de precisão e clareza.
