Relation algebras are algebras arising from the study of binary relations.They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit substantial advances to be made. The book contains many new results and proofs not published elsewhere. ...

"[A] fascinating narrative. . . . This is a nuanced, intelligently framed chronicle . . . In a word: enlightening." —George Szpiro, NatureWhile all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't available before the sixteenth century. What did mathematicians rely on for their work before then? And how did mathematical notations evolve into what we know to...

In the last 60 years, the use of the notion of category has led to a remarkable unification and simplification of mathematics. Conceptual Mathematics introduces this tool for the learning, development, and use of mathematics, to beginning students and also to practising mathematical scientists. This book provides a skeleton key that makes explicit some concepts and procedures that are common to all branches of pure and applied mathematics. The treatment does not presuppose knowledge of spe...

The algebra of logic was founded by George Boole (1815-1864); it was developed and perfected by Ernst Schroder (1841-1902) The fundamental laws of this calculus were devised to express the principles of reasoning, the laws of thought But this calculus may be considered from the purely formal point of view, which is that of mathematics, as an algebra based upon certain principles arbitrarily laid down It belongs to the realm of philosophy to decide whether, and in what measure, this calculu...

Algebra marked the beginning of modern mathematics, moving it beyond arithmetic, which involves calculations featuring given numbers, to problems where some quantities are unknown. Now, it stands as a pillar of mathematics, underpinning the quantitative sciences, both social and physical. This Very Short Introduction explains algebra from scratch. Over the course of ten logical chapters, Higgins offers a step by step approach for readers keen on developing their understanding of a...

What is algebra? For some, it is an abstract language of x's and y’s. For mathematics majors and professional mathematicians, it is a world of axiomatically defined constructs like groups, rings, and fields. Taming the Unknown considers how these two seemingly different types of algebra evolved and how they relate. Victor Katz and Karen Parshall explore the history of algebra, from its roots in the ancient civilizations of Egypt, Mesopotamia, Greece, China, and India, through its ...

What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birth to set theory. This textbook presents classical set theory in an intuitive but concrete manner.To allow flexibility of topic selection in courses, the book is organized into four relatively independent parts with distinct mathematical flavors. Part I begins with the Dedekind–Peano axio...

This text covers topics in algebraic geometry and commutative algebra with a strong perspective toward practical and computational aspects. The first four chapters form the core of the book. A comprehensive chart in the Preface illustrates a variety of ways to proceed with the material once these chapters are covered. In addition to the fundamentals of algebraic geometry—the elimination theorem, the extension theorem, the closure theorem and the Nullstellensatz—this new edition incorporate...

This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to branch out in several areas of mathematics related to foundations and computability, such as ...

Rooted in a pedagogically successful problem-solving approach to linear algebra, this work fills a gap in the literature that is sharply divided between, on the one end, elementary texts with only limited exercises and examples, and, at the other end, books too advanced in prerequisites and too specialized in focus to appeal to a wide audience. Instead, it clearly develops the theoretical foundations of vector spaces, linear equations, matrix algebra, eigenvectors, and orthogonality, while...

This textbook on linear algebra includes the key topics of the subject that most advanced undergraduates need to learn before entering graduate school. All the usual topics, such as complex vector spaces, complex inner products, the Spectral theorem for normal operators, dual spaces, the minimal polynomial, the Jordan canonical form, and the rational canonical form, are covered, along with a chapter on determinants at the end of the book. In addition, there is material throughout the text ...

Adapted from a modular undergraduate course on computational mathematics, Concise Computer Mathematics delivers an easily accessible, self-contained introduction to the basic notions of mathematics necessary for a computer science degree. The text reflects the need to quickly introduce students from a variety of educational backgrounds to a number of essential mathematical concepts. The material is divided into four units: discrete mathematics (sets, relations, functions), logic (...