You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Outstanding features include: a history of mathematical logic, an explanation of the logic of digital circuits, and hands-on exercises and examples.
Orignally published: Englewood Cliffs, N.J.: Prentice-Hall, 1962.
This introduction to Boolean algebra begins with an intuitive approach to set theory and an axiomatic account of the fundamentals of Boolean algebra, proceeding to concise accounts of applications to symbolic logic, switching circuits, relay circuits, binary arithmetic, and probability theory. Answers to selected problems appear at the end. 1961 edition.
This introduction to discrete mathematics is aimed primarily at undergraduates in mathematics and computer science at the freshmen and sophomore levels. The text has a distinctly applied orientation and begins with a survey of number systems and elementary set theory. Included are discussions of scientific notation and the representation of numbers in computers. Lists are presented as an example of data structures. An introduction to counting includes the Binomial Theorem and mathematical induction, which serves as a starting point for a brief study of recursion. The basics of probability theory are then covered.Graph study is discussed, including Euler and Hamilton cycles and trees. This is...
Unit-I 1.1 Indian Logic : 1.1.1 Origins 1.1.2 The Schools Vaisheshika 1.1.3 Catuskoti 1.1.4 Nyaya 1.1.5 Jain Logic 1.1.6 Buddhist Logic 1.1.7 Navya-Nyaya 1.1.8 Influence of Indian Logic on Modern Logic 1.1.9 Boolean Logic and Indian Thoughts 1.2 Boolean Algebra : 1.2.1 Truth Tables 1.2.2 Properties of Boolean Algebra 1.2.3 Principle of Duality 1.2.4 De-Morgans Theorem Unit-II Boolean Function : 2.1 Boolean Expression 2.2 Boolean Function 2.3 Min- Term of Minimal Boolean Function 2.4 Disjunctive Normal Form or Canonical Form 2.5 Complete Disjunctive Normal Form or Complete Canonical Form 2.6 Boole's Expansion Theorem 2.7 Complement Function of a Boolean Function in Disjunctive Normal Form 2.8...
This book is about the logic of Boolean equations. 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. Boolean equations are also the language by which digital circuits are described today. Logicians in the twentieth century have abandoned Boole's equation based logic in favor of the more powerful predicate calculus. As a result, digital engineers-and others who use Boole's language routinely-remain largely unaware of its utility as a medium for reasoning. The aim of this book, accordingly, is to is to present a systematic outline of the logic of Boolean equations...
Computer Architecture/Software Engineering
There are two aspects to the theory of Boolean algebras; the algebraic and the set-theoretical. A Boolean algebra can be considered as a special kind of algebraic ring, or as a generalization of the set-theoretical notion of a field of sets. Fundamental theorems in both of these directions are due to M. H. STONE, whose papers have opened a new era in the develop ment of this theory. This work treats the set-theoretical aspect, with little mention being made of the algebraic one. The book is composed of two chapters and an appendix. Chapter I is devoted to the study of Boolean algebras from the point of view of finite Boolean operations only; a greater part of its contents can be found in the...
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 an introductory chapter describing the elementary to the theory. The second part deals at a graduate level with the metric theory of Boolean algebras at a graduate level. The covered topics include measure algebras, their sub algebras, and groups of automorphisms. Ample room is allotted to the new classification theorems abstracting the celebrated counterparts by D.Maharam, A.H. Kolmogorov, and V.A.Rokhlin. Boolean Algebras in Analysis is an exceptional definitive source on Boolean algebra as applied to functional analysis and probability. It is intended for all who are interested in new and powerful tools for hard and soft mathematical analysis.