This book outlines a mathematical may of thinking about the Interaction of 'pure' and 'applied' computer science. I mill be
more subjectiue than is customary in science and mathematics
exposition and sketch my personal uision, in terms of my ouin
experience in pure and applied mathematics and my extensiue
readings in the scholarly computer science literature.
Unfortunately, I haue not been able to bring the ideas I sketch
here to the state of completion that I might wish. I am offering
them in this incomplete form because I belieue that they mill be
useful to mathematically-minded scientists and engineers mho
mant to understand horn the computing science insights fit into
the ouerall mathematical structure of their discipline and to
mathematicians mho mant to think about computing science
mlth the same intellectual tools that haue been utilized to great
mutual benefit in the mathematization of traditional,
differential-equations based science and engineering.