dw92270

数学归纳法讲座

综述了当前所有数学归纳法的形式表达。给出了数学归纳法的定义，例题，证明，参考文献。

阻尼振动的数学计算软件模拟

使用Mathematica实现阻尼震动方程画图。是典型的Mathematica物理学应用。

数理逻辑专著

推荐国防工业出版社2015年专著《证明方法与理论》。是计算机基础理论类的。涉及计算机原理、定理自动证明等。