Sets, the toolbox for making mathematical models, logic, which tests conclusions, and category theory, the study of functions which preserve some structure on a... » 

Sets, the toolbox for making mathematical models, logic, which tests conclusions, and category theory, the study of functions which preserve some structure on a set together provide the basis for computational science. This self-study guide to all three theories contains many examples. «