This monograph explores the early development of the calculus of variations in continental Europe during the Eighteenth Century by illustrating the mathematics of its founders. Closely following the original papers and correspondences of Euler, Lagrange, the Bernoullis, and others, the reader is immersed in the challenge of theory building. We see what the founders were doing, the difficulties …
A concise account of various classic theories of fluids and solids, this book is for courses in continuum mechanics for graduate students and advanced undergraduates. Thoroughly class-tested in courses at Stanford University and the University of Warwick, it is suitable for both applied mathematicians and engineers. The only prerequisites are an introductory undergraduate knowledge of basic lin…
A First Course in Combinatorial Optimization is a text for a one-semester introductory graduate-level course for students of operations research, mathematics, and computer science. It is a self-contained treatment of the subject, requiring only some mathematical maturity. Topics include: linear and integer programming, polytopes, matroids and matroid optimization, shortest paths, and network fl…
This textbook, available in two volumes, has been developed from a course taught at Harvard over the last decade. The course covers principally the theory and physical applications of linear algebra and of the calculus of several variables, particularly the exterior calculus. The authors adopt the 'spiral method' of teaching, covering the same topic several times at increasing levels of sophist…
This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design. The book positions requirements problem solving within the…
This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design. The book positions requirements problem solving within the…
This is a self-contained exposition by one of the leading experts in lattice theory, George Grätzer, presenting the major results of the last 70 years on congruence lattices of finite lattices, featuring the author's signature Proof-by-Picture method. Key features: * Insightful discussion of techniques to construct "nice" finite lattices with given congruence lattices and "nice" congruen…
This book presents new insights into Leibniz’s research on planetary theory and his system of pre-established harmony. Although some aspects of this theory have been explored in the literature, others are less well known. In particular, the book offers new contributions on the connection between the planetary theory and the theory of gravitation. It also provides an in-depth discussion of Kep…
This book carves the beginnings of a new path in the arguably weary discipline of economics. It combines a variety of perspectives – from the history of ideas to epistemology – in order to try to understand what has gone so wrong with economics and articulate a coherent way forward. This is undertaken through a dual path of deconstruction and reconstruction. Mainstream economics is broken d…
area and in applications to linguistics, formal epistemology, and the study of norms. The second contains papers on non-classical and many-valued logics, with an eye on applications in computer science and through it to engineering. The third concerns the logic of belief management,whichis likewise closely connected with recent work in computer science but also links directly with epistemology,…