求包含数学与计算机科学理论实际应用案例的相关书籍推荐

下面是符合要求的书籍，覆盖你提到的朴素贝叶斯、博弈论、形式化方法三类理论的实际应用场景，也包含更多数理、计算机科学理论在日常技术中的落地案例：

• 数学之美
  书中包含朴素贝叶斯方法实现垃圾邮件过滤的完整思路，同时覆盖信息论、统计学习、图论等多类理论在搜索引擎、自然语言处理、语音识别等日常互联网技术中的落地案例，内容通俗易懂，公式推导少，偏实际应用逻辑讲解，适合入门阅读。
• 网络、群体与市场
  专门包含博弈论在数据包路由、云计算资源分配、社交网络传播、平台资源调度等多类技术场景的实际应用案例，同时会配套讲解相关理论的核心逻辑，兼顾理论深度和工程实用性。
• 形式化方法工程实践指南
  覆盖形式化方法在软件工程领域的大量工业级落地案例，包括分布式系统一致性校验、操作系统内核稳定性验证、关键业务系统逻辑校验等真实场景，会详细讲解如何把抽象的形式化逻辑理论转化为实际的工程解决方案。
• 程序员的数学2：概率统计
  除了贝叶斯相关的应用案例外，还有概率统计理论在AB测试、推荐系统、业务异常检测、日志分析等日常开发场景的落地实践，内容贴合开发者的实际工作需求，理论讲解和实操思路结合紧密。

内容的提问来源于stack exchange，提问作者shikharraje