Mathematics for Future Computing and Communications
A panorama of new ideas in mathematics that are driving innovation in computing and communications.
Liao Heng (Edited by), Bill McColl (Edited by)
9781316513583, Cambridge University Press
Hardback, published 16 December 2021
396 pages
25.7 x 17.6 x 2.1 cm, 0.9 kg
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.
Preface Liao Heng
Part I. Computing: Introduction to Part I
1. Mathematics, models and architectures Bill McColl
2. Mathematics and software verification Chen Haibo and Gao Xin
3. Mathematics for quantum computing Kong Yunchuan
4. Mathematics for AI: categories, toposes, types Daniel Bennequin and Jean-Claude Belfiore
Part II. Communications: Introduction to Part II
5. Mathematics and compressed sensing Zhang Rui and Long Zichao
6. Mathematics, information theory, and statistical physics Mérouane Debbah
7. Mathematics of data networking Li Zongpeng, Miao Lihua and Tang Siyu
8. Mathematics and network science Sun Jie
Part III. Artificial Intelligence: Introduction to Part III
9. Mathematics, information and learning Tong Wen and Ge Yiqun
10. Mathematics and Bayesian inference Guo Kaiyang, Lv Wenlong and Zhang Jianfeng
11. Mathematics, optimization and machine learning Jiu Shangling
12. Mathematics of reinforcement learning Wu Shuang and Wang Jun
Part IV. Future: 13. Mathematics and prospects for future breakthroughs Dang Wenshuan
Editors and contributing authors.
Subject Areas: Mathematical theory of computation [UYA], Computer science [UY], Algorithms & data structures [UMB], Discrete mathematics [PBD], Communication studies [GTC], Information theory [GPF]