Finit的成长空间

今天看了林欣浩老师的两篇文章，结合生活和编程做个总结。理性和感性 && 抽象和离散一、古代猿人如何计数？一开始比划着预估物体数量，这就代表了感性思维。但是这样计数不精确，不能量化。此时需要用理性思维解决精确度的问题，于是有了“离散”的概念，可以精确到“一个一个”，这种计数方式代表了理性思维。众所周知，计算机采用的是二进制，二进制只有0,1两个取值。可...

其实这里的底数对于研究程序运行效率不重要，写代码时要考虑的是数据规模n对程序运行效率的影响，常数部分则忽略，同样的，如果不同时间复杂度的倍数关系为常数，那也可以近似认为两者为同一量级的时间复杂度。现在来看看为什么底数具体为多少不重要？读者只需要掌握（依稀记得）中学数学知识就够了。假设有底数为2和3的两个对数函数，如上图。当X取N（数据规模）时，求所对应的时间复杂度得比值...

一、数学 递归、循环、算法：数学归纳法、找规律 函数：方程思想的运用——消参，减少函数形式参数。

函数数学函数三要素：定义域、对应法则、值域。 对应于编程语言中的函数：形式参数、函数主体（逻辑、计算规则）、返回值。

什么是证明？

根据递推关系求通项公式

第一章第二章

本文阐述如何使用数学模型和方法分析在计算机科学中产生的问题。证明在本文中扮演了核心角色，因为作者们和大多数学家共享一个信念，即证明对于真正的理解是最重要的。证明也在计算机科学中扮演了一个不断成长的角色；证明被用来验证软硬件的正确运行，这是再多的测试也无法做到的事情。简而言之，证明是一种建立真相的方法。就像美貌一样，“真相”取决于旁观者的眼睛，并且不会令人惊讶的是在不同领域证明的构成不同。...