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

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

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

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

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

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

• 大数据的魅力 – 数据挖掘、大数据、大数据案例、大数据的特点 • 大数据时代的思维变革 – 样本和全体、精确性和混杂性、因果关系和相关关系 • 大数据的处理 – 几种主要处理方式、MapReduce编程模型 • 大数据的分析 – 关键技术概述、PageRank初步

• 基本知识 – 人−机−物三元世界、云计算、未来网、物联网、泛在网、图灵机计算模型、网域计算模型 • 交互计算 – 经典计算与交互计算、交互的特点、交互的机器模型、能描述交互的演算 • 从归纳到余归纳 – 良基集、非良基集、余归纳、互模拟 • 从代数到余代数 – 笛卡尔积, 可区分并, 余代数, 代数和余代数的区别

• 基本知识 – 可计算理论, 计算资源, 计算复杂性理论, 算法分析 • 复杂性的计量 – 问题规模、复杂性函数、最坏、最好和平均三种情况的时间复杂性 • 复杂性的渐近行为及其阶 – 复杂性的渐近行为、渐近意义下的记号O、记号O的运算规则、复杂性渐近阶分析的重要性 • 算法复杂性渐近阶的分析 – 算法的复杂性渐近阶的分析、语句规则的例举

• 基本知识 – 多核体系结构、并行编程模型 • 内存一致性模型 – 严格一致性模型、顺序一致性模型、内存一致性模型的重要性 • 共享变量并行编程模型 – 同步、锁、临界区、条件变量、死锁、数据竞争 • 消息传递并行编程模型 – 消息传递、同步与异步