中国科学技术大学：《数理统计》课程教学资源（课件讲义）第六讲 点估计方法（三）一致最小方差无偏估计

中国科学技术大学：《数理统计》课程教学资源（课件讲义）第五讲 点估计方法（二）极大似然估计方法

中国科学技术大学：《数理统计》课程教学资源（课件讲义）第四讲 点估计方法（一）矩估计方法

中国科学技术大学：《数理统计》课程教学资源（课件讲义）第三讲 指数族与充分完备统计量

中国科学技术大学：《数理统计》课程教学资源（课件讲义）第二讲 统计量的分布（抽样分布）

中国科学技术大学：《数理统计》课程教学资源（课件讲义）第一讲 总体与样本 What Statistics can do（主讲：张伟平）

中国科学技术大学：《Muon物理》课程教学讲稿（技术及其应用）第二讲 慢正Muon束的产生 Low energy positive muons beam

中国科学技术大学：《Muon物理》课程教学讲稿（技术及其应用）第一讲 Muon的基本慨况（主讲：陈祥磊）μ（muon）子简介

一、新中国的巩固与经济恢复 二、热气腾腾的国家经济建设 三、逐步加速的社会主义改造

• 程序逻辑：描述和论证程序行为的逻辑 – Hoare逻辑 – Dijkstra最弱前条件演算 • 从程序到定理 – 验证条件生成 • 从定理到证明 – 定理证明器 – 判定过程 • 循环不变式的推断 • 以George C. Necula教授的讲稿为主来介绍