• 了解类型系统的重要性 – 围绕数组类型的若干实例来解释这个重要性 • 基本知识 – 类型表达式、定型断言、定型规则、类型系统 • 多态类型 – 多态函数、类型变量、多态函数的类型推断和类型检查 • 依赖类型 – 依赖类型的实例、编程语言中使用依赖类型的状况

• 基本知识 – 程序验证、程序逻辑、命题逻辑、谓词逻辑 • Hoare逻辑 – Hoare三元式、赋值公理、结构化语句的推理规 则、推论规则 • 生成验证条件的演算 – 最弱前条件演算、生成验证条件的演算 • 程序验证实例演示 – 二分查找程序

中国科学技术大学：《计算机科学导论》课程教学资源（PPT课件讲稿）第一讲 代数等式理论的自动定理证明

第一章 矩阵及其应用 第二章 行列式 第三章 矩阵的秩与线性方程组 第4章 向量空间 第5章 相似矩阵 第6章 二次型

5.1 频率特性 5.2 典型环节与开环系统频率特性 烟台理工学院：《自动控制原理》课程教学资源（课件讲稿）第五章 频域分析法－频率法（5.1-5.2）

复旦大学：美丽与健康（PPT讲稿）乳房保健知识讲座

一、问题的提出 二、定积分的定义 三、存在定理 四、定积分的几何意义 五、小结

第一节 盟军对日本的占领 第二节 日本的政治、经济与社会状况 第三节 美国对日本的改造

一、细分概念与依据 二、细分层次与重要性 三、细分变量（因素、基础） 四、有效细分的要求 五、目标市场及其营销策略 六、市场定位

基本概念：本体论、认识论； 社会科学研究方法体系：方法论、研究方法；路径与范式（库恩） 科学研究路径的演变： --经验论、唯理论 --实证主义 --证伪主义 --拉卡托斯“科学研究纲领” --行为主义与传统主义 --后实证主义