2.1个体、谓词与量词 2.2谓词公式 2.3谓词演算的等价式与蕴含式 2.4前束范式 2.5谓词逻辑的推理理论

电子科技大学：《漫画数学建模》课程教学资源（课件讲稿）第一章 序言

电子科技大学：《最优化理论与应用 Optimization Theory and Applications》课程教学资源（教学案例）约束最优化方法（外点罚函数法）

电子科技大学：《最优化理论与应用 Optimization Theory and Applications》课程教学资源（教学大纲，张晓伟）

 1.1 定义  1.2 弱解的存在性  1.3 解的正则性

 4.1 一维波动方程的初值问题  4.2 高维波动方程的初值问题  4.3 能量法

 1.1 基本概念  1.2 二阶半线性方程的分类与标准形

电子科技大学：《偏微分方程 Partial Differential Equations》课程教学资源（教学大纲，原子霞）

电子科技大学：《随机过程及应用 Stochastic Processes and Applications》课程教学资源（教学大纲，覃思义）

电子科技大学：《随机过程及应用 Stochastic Processes and Applications》课程教学资源（课件讲稿）第6章 马尔科夫过程 第5节 连续参数马尔可夫链