Description
Birkhauser Nonstandard Analysis by Martin Andreas Vath
This book introduces Robinson's nonstandard analysis, an application of model theory in analysis. Unlike some texts, it does not attempt to teach elementary calculus on the basis of nonstandard analysis, but points to some applications in more advanced analysis. The contents proceed from a discussion of the preliminaries to Nonstandard Models; Nonstandard Real Analysis; Enlargements and Saturated Models; Functionals, Generalized Limits, and Additive Measures; and finally Nonstandard Topology and Functional Analysis. No background in model theory is required, although some familiarity with analysis, topology, or functional analysis is useful. This self-contained book can be understood after a basic calculus course. What is Distributed Processing?.- Concepts of Concurrency.- Models of Concurrency.- Concurrency in Operating Systems.- Interprocess Communication.- Protocols.- Security.- Languages and Distributed Processing.- Building Distributed Systems.- Case Study: A Networked Game.- The End.