2.1 概述 2.2 原子结构 2.3 元素周期表及其特性 2.4 原子结合键 2.5 结合能与材料性能 2.6 原子排列方式 2.7 晶体的显微组织

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

一、计算机应用：与计算机使用相关联的领域。 二、计算机具体应用：计算机在各行各业的具体应用。 三、计算机应用技术：计算机应用于各具体领域的共性理论、方法和技术。 四、应用数学：计算机应用技术的基础理论

一、程序设计语言的发展 二、形式语言与自动机 三、形式语义学 四、程序设计方法学 五、计算语言学 六、软件开发方法学

• 基本知识 – 计算、计算模型、并行计算模型 • 图灵机概述 – 图灵的基本思想、基本图灵机、图灵机的变种 • λ演算 – λ表达式的文法、 λ演算的变换规则、Church数码 • 递归函数 – 直观意义的可计算函数、原始递归函数、递归函数

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

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

A. 生命探索 1. 接近生命 2. 信息传递 3. 生命的助推火箭 4. 内外有别 5. 自动机器 6. 克隆羊,克隆人 7. 人工子宫 8. 病毒,病毒? 9. 基因工程 10. 欲望与渴求 11. 联合大脑 12. 灵魂出窍 B. 癌症解析 1. 迷雾重重 ① ② ③ 2. 拨云见日 ① ② ③ ④ ⑤ 3. 生物学与医学革命 C. 进化医学 ❍ 导言 疾病产生的原因 ❍ 缺陷基因致病 ❍ 不断升级的军备竞赛 ❍ 妥协的进化历程 ❍ 传染病的体征和症状 ❍ 早孕反应和肥胖症 ❍ 衰老是青春期旺盛的代价 ❍ 结语 达尔文医学小结

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

• 基本知识 – 内存分层结构、多处理器的体系结构 • 并行计算 – 并行计算的常见方式、循环级并行 • 程序中的局部性 – 时间局部性、空间局部性、代码和数据局部性 • 矩阵乘算法及其优化 – 矩阵乘算法及分析、分块的矩阵乘算法及分析 围绕计算机体系结构而不是抽象模型来讨论