Springer, 2005. — 355 p.
This second volume of a comprehensive tour through mathematical core subjects for computer scientists completes the first volume in two regards:Part III first adds topology, differential, and integral calculus to the topics of sets, graphs, algebra, formal logic, machines, and linear geometry, of volume 1.
In a second regard, the end of part III and part IV add a selection of more advanced topics. In view of the overwhelming variety of mathematical approaches in the computational sciences, any selection, even the most empirical, requires a methodological justification. Our primary criterion
has been the search for harmonization and optimization of thematic diversity and logical coherence. For the same reason, the entry point to part IV is category theory.