Hasil Pencarian  ::  Simpan CSV :: Kembali

"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. Factor elements are defined by identities, discovered for shells for the first time, explaining why central elements in rings and lattices have their particular form. Categorical formulations of the many representations by sheaves begin with adjunctions and move to equivalences as the book progresses, generalizing stone’s theorem for boolean algebras."

"This book has been designed for a first course on digital design for engineering and computer science students. It offers an extensive introduction on fundamental theories, from Boolean algebra and binary arithmetic to sequential networks and finite state machines, together with the essential tools to design and simulate systems composed of a controller and a datapath. The numerous worked examples and solved exercises allow a better understanding and more effective learning. All of the examples and exercises can be run on the Deeds software, freely available online on a webpage developed and maintained by the authors. Thanks to the learning-by-doing approach and the plentiful examples, no prior knowledge in electronics of programming is required. Moreover, the book can be adapted to different level of education, with different targets and depth, be used for self-study, and even independently from the simulator. The book draws on the authors’ extensive experience in teaching and developing learning materials."