Rudiments of Calculus


Book Description

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.




Calculus in the First Three Dimensions


Book Description

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.




Calculus with infinitesimals


Book Description

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.




The Mathematical Work of Charles Babbage


Book Description

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




Learn from the Masters!


Book Description

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.




About Mathematics


Book Description

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.




Variational Calculus and Optimal Control


Book Description

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.




A History of Mathematics in the United States and Canada


Book Description

This is the first truly comprehensive and thorough history of the development of mathematics and a mathematical community in the United States and Canada. This first volume of the multi-volume work takes the reader from the European encounters with North America in the fifteenth century up to the emergence of a research community the United States in the last quarter of the nineteenth. In the story of the colonial period, particular emphasis is given to several prominent colonial figures—Jefferson, Franklin, and Rittenhouse—and four important early colleges—Harvard, Québec, William & Mary, and Yale. During the first three-quarters of the nineteenth century, mathematics in North America was largely the occupation of scattered individual pioneers: Bowditch, Farrar, Adrain, B. Peirce. This period is given a fuller treatment here than previously in the literature, including the creation of the first PhD programs and attempts to form organizations and found journals. With the founding of Johns Hopkins in 1876 the American mathematical research community was finally, and firmly, founded. The programs at Hopkins, Chicago, and Clark are detailed as are the influence of major European mathematicians including especially Klein, Hilbert, and Sylvester. Klein's visit to the US and his Evanston Colloquium are extensively detailed. The founding of the American Mathematical Society is thoroughly discussed. David Zitarelli was emeritus Professor of Mathematics at Temple University. A decorated and acclaimed teacher, scholar, and expositor, he was one of the world's leading experts on the development of American mathematics. Author or co-author of over a dozen books, this was his magnum opus—sure to become the leading reference on the topic and essential reading, not just for historians. In clear and compelling prose Zitarelli spins a tale accessible to experts, generalists, and anyone interested in the history of science in North America.







Wittgenstein on Mathematics


Book Description

This book offers a detailed account and discussion of Ludwig Wittgenstein’s philosophy of mathematics. In Part I, the stage is set with a brief presentation of Frege’s logicist attempt to provide arithmetic with a foundation and Wittgenstein’s criticisms of it, followed by sketches of Wittgenstein’s early views of mathematics, in the Tractatus and in the early 1930s. Then (in Part II), Wittgenstein’s mature philosophy of mathematics (1937-44) is carefully presented and examined. Schroeder explains that it is based on two key ideas: the calculus view and the grammar view. On the one hand, mathematics is seen as a human activity — calculation — rather than a theory. On the other hand, the results of mathematical calculations serve as grammatical norms. The following chapters (on mathematics as grammar; rule-following; conventionalism; the empirical basis of mathematics; the role of proof) explore the tension between those two key ideas and suggest a way in which it can be resolved. Finally, there are chapters analysing and defending Wittgenstein’s provocative views on Hilbert’s Formalism and the quest for consistency proofs and on Gödel’s incompleteness theorems.




Recent Books