This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic. We have wished to present the subject in a unified way, and in a form as general as possible. Therefore, our emphasis is on the generality of the fixed-point notation, and on the connections between mu-calculus, games, and automata, which we also explain in an algebraic way. This book should be accessible for graduate or advanced undergraduate students both in mathematics and computer science. We have designed this book especially for researchers and students interested in logic in computer science, comuter aided verification, and general aspects of automata theory. We have aimed at gathering in a single place the fundamental results of the theory, that are currently very scattered in the literature, and often hardly accessible for interested readers. The presentation is self-contained, except for the proof of the Mc-Naughton's Determinization Theorem (see, e.g., [97]. However, we suppose that the reader is already familiar with some basic automata theory and universal algebra. The references, credits, and suggestions for further reading are given at the end of each chapter.

Introduction to calculus for both undergraduate math majors and those pursuing other areas of science and engineering for whom calculus will be a vital tool. Solutions available as free downloads. 1967 edition.

This book covers the most important ideas of calculus and its applications. An emphasis is placed on the use of infinitely small quantities (i.e., infinitesimals), which were used in the creation of this branch of mathematics. The goal of the author is to provide a smoother transition to the understanding of the ideas of infinitesimal quantity, derivative, differential, antiderivative, and the definite integral. In order to give the reader an easier approach to learning and understanding these ideas, the same justifications given by the creators of the calculus are explained in this book. The justification of the formulas to compute derivatives is deduced according to its historical genesis with the use of the idea of infinitesimal as stated by Leibniz. Also, the justification of the formulas for antiderivatives is explained in detail. Some applications of the calculus are also covered, among them, extreme values of functions, related rates, arc length, area of regions in the plane, volume, surface area, mass, the center of mass, the moment of inertia, hydrostatic pressure, work, and several more. Mathematical rigor is not emphasized in this work, but instead, the meaning of the concepts and the understanding of the mathematical procedures in order to prepare the reader to apply the calculus in different contexts, among them: geometry, physics, and engineering problems. To motivate more teachers and students to use this book, the topics covered have been arranged according to most of the traditional calculus courses. However, because the theory of limits and the definitions of the ideas of calculus based on limits, were created many years later by Cauchy and Weierstrass, the limits and some related ideas (like continuity and differentiability) are not detailed covered.

This book describes Babbage's work on the design and implementation of the difference and analytical engines.

This book is for high school and college teachers who want to know how they can use the history of mathematics as a pedagogical tool to help their students construct their own knowledge of mathematics. Often, a historical development of a particular topic is the best way to present a mathematical topic, but teachers may not have the time to do the research needed to present the material. This book provides its readers with historical ideas and insights which can be immediately applied in the classroom. The book is divided into two sections: the first on the use of history in high school mathematics, and the second on its use in university mathematics. The articles are diverse, covering fields such as trigonometry, mathematical modeling, calculus, linear algebra, vector analysis, and celestial mechanics. Also included are articles of a somewhat philosophical nature, which give general ideas on why history should be used in teaching and how it can be used in various special kinds of courses. Each article contains a bibliography to guide the reader to further reading on the subject.

Mathematics is an essential component of the educated mind. It has two important roles to play: as queen of the sciences (providing the logical structure that holds science together) and as a handmaiden to those sciences (carrying out the computations that apply scientific concepts.) Unfortunately, a gulf exists between science and the humanities, and our text, About Mathematics, seeks to bridge that gap, to serve humanities students just as humanities texts are offered to inform science students. In doing so, unlike most math texts, we avoid the usual focus on detailed techniques to expose instead some of the important concepts and values of mathematics.

An introduction to the variational methods used to formulate and solve mathematical and physical problems, allowing the reader an insight into the systematic use of elementary (partial) convexity of differentiable functions in Euclidian space. By helping students directly characterize the solutions for many minimization problems, the text serves as a prelude to the field theory for sufficiency, laying as it does the groundwork for further explorations in mathematics, physics, mechanical and electrical engineering, as well as computer science.