The study of NIP theories has received much attention from model theorists in the last decade, fuelled by applications to o-minimal structures and valued fields. This book, the first to be written on NIP theories, is an introduction to the subject that will appeal to anyone interested in model theory: graduate students and researchers in the field, as well as those in nearby areas such as combi…
This is a short, focused introduction to MATLAB, a comprehensive software system for mathematical and technical computing. It contains concise explanations of essential MATLAB commands, as well as easily understood instructions for using MATLAB's programming features, graphical capabilities, simulation models, and rich desktop interface. Written for MATLAB 7, it can also be used with earlier (a…
The purpose of these notes is to give a geometrical treatment of generalized homology and cohomology theories. The central idea is that of a 'mock bundle', which is the geometric cocycle of a general cobordism theory, and the main new result is that any homology theory is a generalized bordism theory. The book will interest mathematicians working in both piecewise linear and algebraic topology …
Homological mirror symmetry has its origins in theoretical physics but is now of great interest in mathematics due to the deep connections it reveals between different areas of geometry and algebra. This book offers a self-contained and accessible introduction to the subject via the representation theory of algebras and quivers. It is suitable for graduate students and others without a great de…
This book offers a self-contained exposition of local class field theory, serving as a second course on Galois theory. It opens with a discussion of several fundamental topics in algebra, such as profinite groups, p-adic fields, semisimple algebras and their modules, and homological algebra with the example of group cohomology. The book culminates with the description of the abelian extensions …
This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, algorithms, programming, verification, and visualization. The pedagogical strategy is to use one case study – an ordinary differential equation describing exponential decay processes – to illustrate fundamental concepts in mathematics and computer science. The book i…
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of…
Images of fluids in motion have served both scientific and artistic purposes at least since the time of Leonardo de Vinci over 500 years ago. The visualization of fluid flow has played a major role in the development of fluid dynamics and its technological and scientific applications, from the evolution of flight to the tracking of weather to understanding the flow of blood. Today, the Division…
A Gallery of Combustion and Fire is the first book to provide a graphical perspective of the extremely visual phenomenon of combustion in full color. It is designed primarily to be used in parallel with, and supplement existing combustion textbooks that are usually in black and white, making it a challenge to visualize such a graphic phenomenon. Each image includes a description of how it was g…
This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and us…