这本书讲的是两种不同的东西,编织在一起。它教你如何读写数学证明。它提供了对基本数学对象,符号和技术的调查,这些将在以后的计算机科学课程中有用。这些包括命题和谓词逻辑,集合,函数,关系,模运算,计数,图形和树。最后,它简要介绍了理论计算机科学中的一些关键主题:算法分析和复杂性,自动机理论和可计算性。
形式数学在几个方面与计算机科学有关。首先,它用于为算法创建理论设计并证明它们正常工作。这对于经常使用的方法和/或我们不想要失败的应用程序(飞机设计,五角大楼安全,电子商务)尤为重要。只有一些人做这些设计,但很多人使用它们。用户需要能够阅读和理解设计的工作方式。
其次,您在进行正式数学时学到的技能与设计和调试程序所需的技能密切相关。两者都需要跟踪变量的类型。两者都使用归纳和/或递归设计。两者都需要仔细的校对技巧。因此,您在本课程中学到的知识也将帮助您在实践编程课程中取得成功。
第三,当你来设计复杂的真实软件时,你必须记录你已经完成的工作以及它是如何工作的。这对很多人来说很难做得很好,但对于使用你的软件的人来说这是至关重要的。学习如何清楚地描述数学对象将转化为更好的描述计算对象的技能。
举报/反馈

明天不是未来34

36获赞 14.5万粉丝
所谓日久生情不过权衡利弊。
关注
0
0
收藏
分享