《软件工程的数学基础：实用指南》

这本教科书介绍了软件工程的数学基础。它展示了数学在纠错码、密码学、安全和安保关键领域、银行和保险领域以及传统工程应用领域等领域的丰富应用。

主题和功能：

• 解决批判性思维和解决问题的核心数学问题
• 讨论命题和谓词逻辑以及各种证明技术，以证明逻辑论证的正确性。
• 研究数论及其在密码学中的应用
• 考虑纠错码的基础数学
• 讨论图论及其在网络建模中的应用
• 回顾支持软件工程数学的工具，包括自动和交互式定理证明器和模型检查
• 讨论金融软件工程，包括单利和复利、概率和统计以及运筹学
• 讨论软件的可靠性和可靠性，并解释用于从规范中派生程序的形式化方法
• 讨论微积分、矩阵、向量、复数和四元数，以及在图形和机器人中的应用
• 在每章中包括关键学习主题、摘要和复习问题，以及有用的词汇表

这本实用且易于遵循的教科书/参考书非常适合寻求学习数学如何帮助他们按时、按预算构建高质量和可靠软件的计算机科学学生。该文本还可以作为软件工程师、质量专业人员和软件经理的优秀自学入门读物。