南京大学：《面向对象技术 OOT》课程教学资源（PPT课件讲稿）面向对象的分析与设计简介 OOA & OOD：An introduction

南京大学：《嵌入式网络物理系统》课程教学资源（PPT讲稿）时光自动机 Timed Automata

引言 直接证明 反证法 分情形证明 等价性证明 存在性证明 唯一性证明 寻找反例 数学与猜想

南京大学：《数值计算方法》课程教学资源（PPT课件）第七章 矩阵特征值和特征向量的数值解法 7.3.2 矩阵的QR分解 7.3.3 QR算法

6.1 初值问题的Euler方法 6.2 Runge-Kutta方法 6.3 线形多步法 6.4 一阶常微分方程组数值解法 6.5 常微分方程边值问题的数值解法

南京大学：《数值计算方法》课程教学资源（PPT课件）第5章 数值积分 5.1 Newton-Cotes求积公式 5.2 复化求积公式 5.3 Romberg求积公式

4.4 三次样条插值 4.5 曲线拟和的最小二乘法

南京大学：《数值计算方法》课程教学资源（PPT课件）第3章 解线性方程组的数值解法 3.2 矩阵的三角分解法 3.3 矩阵求逆

南京大学：《数值计算方法》课程教学资源（PPT课件）第3章 解线性方程组的数值解法 3.1 高斯消元法

1.1 数学问题的数值解法例示 1.2 误差概念和有效数 1.3 算法的优化