Cambridge: Cambridge University Press, 2022. — 398 p. — ISBN 1316513580.
For 80 years, mathematics has driven fundamental
innovation in computing and communications. This timely book provides a panorama of some
recent ideas in mathematics and how they will drive continued innovation in
computing, communications and AI in the coming years. It provides a unique insight into how the new techniques that are being developed can be used to provide
theoretical foundations for technological progress, just as mathematics was used in earlier times by
Turing, von Neumann, Shannon and others. Edited by leading researchers in the field, chapters cover the application of
new mathematics
in computer architecture, software verification, quantum computing, compressed sensing, networking, Bayesian inference, machine learning, reinforcement learning and many other areas.
ComputingMathematics, Models and Architectures.
Mathematics and Software Verification.
Mathematics for Quantum Computing.
Mathematics for AI: Categories, Toposes, Types.
CommunicationsMathematics and Compressed Sensing.
Mathematics, Information Theory, and Statistical Physics.
Mathematics of Data Networking.
Mathematics and Network Science.
Artificial IntelligenceMathematics, Information and Learning.
Mathematics and Bayesian Inference.
Mathematics, Optimization and Machine Learning.
Mathematics of Reinforcement Learning.
FutureMathematics and Prospects for Future Breakthroughs.
Editors and Contributing Authors.True PDF