Beginning with ordinary language models or realistic mathematical models of physical or biological phenomena, the author derives tractable mathematical models that are amenable to further mathematical analysis or to elucidating computer simulations. For the most part, derivations are based on perturbation methods. Because of this, the majority of the text is devoted to careful derivations of implicit function theorems, methods of averaging, and quasi-static state approximation methods. The duality between stability and perturbation is developed and used, relying heavily on the concept of stability under persistent disturbances.
Contents: Basic Concepts of Logic; Truth-Functional Connectives; Validity in Sentential Logic; Translations in Sentential Logic; Derivations in Sentential Logic; Translations in Monadic Predicate Logic; Translations in Polyadic Predicate Logic; Derivations in Predicate Logic.
This is a book of applied mathematical proofs. If you have seen a mathematical result, if you want to know why the result is so, you can look for the proof here. The book's purpose is to convey the essential ideas underlying the derivations of a large number of mathematical results useful in the modeling of physical systems. To this end, the book emphasizes main threads of mathematical argument and the motivation underlying the main threads, deemphasizing formal mathematical rigor.