Listing 1 - 2 of 2 |
Sort by
|
Choose an application
In a bold and refreshingly informal style, this exciting text steers a middle course between elementary texts emphasizing connections with philosophy, logic, and electronic circuit design, and profound treatises aimed at advanced graduate students and professional mathematicians. It is written for readers who have studied at least two years of college-level mathematics. With carefully crafted prose, lucid explanations, and illuminating insights, it guides students to some of the deeper results of Boolean algebra --- and in particular to the important interconnections with topology --- without assuming a background in algebra, topology, and set theory. The parts of those subjects that are needed to understand the material are developed within the text itself. Highlights of the book include the normal form theorem; the homomorphism extension theorem; the isomorphism theorem for countable atomless Boolean algebras; the maximal ideal theorem; the celebrated Stone representation theorem; the existence and uniqueness theorems for canonical extensions and completions; Tarski’s isomorphism of factors theorem for countably complete Boolean algebras, and Hanf’s related counterexamples; and an extensive treatment of the algebraic-topological duality, including the duality between ideals and open sets, homomorphisms and continuous functions, subalgebras and quotient spaces, and direct products and Stone-Cech compactifications. A special feature of the book is the large number of exercises of varying levels of difficulty, from routine problems that help readers understand the basic definitions and theorems, to intermediate problems that extend or enrich material developed in the text, to harder problems that explore important ideas either not treated in the text, or that go substantially beyond its treatment. Hints for the solutions to the harder problems are given in an appendix. A detailed solutions manual for all exercises is available for instructors who adopt the text for a course.
Algebra, Boolean. --- Algebraic logic. --- Logic, Symbolic and mathematical --- Boolean algebra --- Boole's algebra --- Algebraic logic --- Set theory --- Booleaanse algebra. --- Boolesche Algebra. --- Boole, Algèbre de
Choose an application
This monograph details several different methods for constructing simple relation algebras, many of which are new with this book. By drawing these seemingly different methods together, all are shown to be aspects of one general approach, for which several applications are given. These tools for constructing and analyzing relation algebras are of particular interest to mathematicians working in logic, algebraic logic, or universal algebra, but will also appeal to philosophers and theoretical computer scientists working in fields that use mathematics. The book is written with a broad audience in mind and features a careful, pedagogical approach; an appendix contains the requisite background material in relation algebras. Over 400 exercises provide ample opportunities to engage with the material, making this a monograph equally appropriate for use in a special topics course or for independent study. Readers interested in pursuing an extended background study of relation algebras will find a comprehensive treatment in author Steven Givant’s textbook, Introduction to Relation Algebras (Springer, 2017).
Relation algebras. --- Algebraic logic. --- Algebra of relations --- Algebras, Relation --- Relational algebras --- Relations, Algebra of --- Mathematics. --- Algebra. --- Mathematical logic. --- Mathematical Logic and Foundations. --- Logic, Symbolic and mathematical --- Algebraic logic --- Logic, Symbolic and mathematical. --- Mathematics --- Mathematical analysis --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism
Listing 1 - 2 of 2 |
Sort by
|