You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Algebra & Geometry: An Introduction to University Mathematics provides a bridge between high school and undergraduate mathematics courses on algebra and geometry. The author shows students how mathematics is more than a collection of methods by presenting important ideas and their historical origins throughout the text. He incorporates a hands-on approach to proofs and connects algebra and geometry to various applications. The text focuses on linear equations, polynomial equations, and quadratic forms. The first several chapters cover foundational topics, including the importance of proofs and properties commonly encountered when studying algebra. The remaining chapters form the mathematical core of the book. These chapters explain the solution of different kinds of algebraic equations, the nature of the solutions, and the interplay between geometry and algebra
A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic. Logic is the basis of proofs in mathematics — how do we know what we say is true? — and also of computer science — how do I know this program will do what I think it will? Surprisingly little mathematics is needed to learn and understand logic (this course doesn't involve any calculus). The real mathematical prerequisite is an ability to manipulate symbols: in other words, basic algebra. Anyone who can write programs should have this ability.
A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic. Logic is the basis of proofs in mathematics — how do we know what we say is true? — and also of computer science — how do I know this program will do what I think it will? Surprisingly little mathematics is needed to learn and understand logic (this course doesn't involve any calculus). The real mathematical prerequisite is an ability to manipulate symbols: in other words, basic algebra. Anyone who can write programs should have this ability.
These six volumes include approximately 20,000 reviews of items in number theory that appeared in Mathematical Reviews between 1984 and 1996. This is the third such set of volumes in number theory. The first was edited by W.J. LeVeque and included reviews from 1940-1972; the second was edited by R.K. Guy and appeared in 1984.
None
The theories of V. V. Wagner (1908-1981) on abstractions of systems of binary relations are presented here within their historical and mathematical contexts. This book contains the first translation from Russian into English of a selection of Wagner’s papers, the ideas of which are connected to present-day mathematical research. Along with a translation of Wagner’s main work in this area, his 1953 paper ‘Theory of generalised heaps and generalised groups,’ the book also includes translations of three short precursor articles that provide additional context for his major work. Researchers and students interested in both algebra (in particular, heaps, semiheaps, generalised heaps, semigroups, and groups) and differential geometry will benefit from the techniques offered by these translations, owing to the natural connections between generalised heaps and generalised groups, and the role played by these concepts in differential geometry. This book gives examples from present-day mathematics where ideas related to Wagner’s have found fruitful applications.
Interest in finite automata theory continues to grow, not only because of its applications in computer science, but also because of more recent applications in mathematics, particularly group theory and symbolic dynamics. The subject itself lies on the boundaries of mathematics and computer science, and with a balanced approach that does justice to both aspects, this book provides a well-motivated introduction to the mathematical theory of finite automata. The first half of Finite Automata focuses on the computer science side of the theory and culminates in Kleene's Theorem, which the author proves in a variety of ways to suit both computer scientists and mathematicians. In the second half, ...
An Introduction to Classical Electrodynamics covers the topics of Electricity, Magnetism, and Optics at the upper-level undergraduate level in physics or electrical engineering. This book tells the story of the historical development of electrodynamics, at the same time as introducing students to electrodynamics with vector calculus. This is the best treatment of the historical development of electricity, magnetism and electrodynamics I have ever seen. The breadth of the authors' knowledge, together with their ability to summarize historical results in exceptionally clear terms, is wonderful. Developing electromagnetism historically makes many concepts easier to understand . --- By an anonym...