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

5. 1 概述 5. 2 相图建立的基本方法 5. 3 二元相图的基本类型和分析 5. 4 相图与合金性能之间的关系 5. 5 铁碳合金相图 5. 6 相图热力学基础

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

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

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

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

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

1. 大数据时代 2. 大数据概念 3. 大数据的影响 4. 大数据的应用 5. 大数据关键技术 6. 大数据计算模式 7. 大数据产业 8. 大数据与云计算、物联网的关系 9. 大数据在中医药及生物医学领域的应用

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

现在的宇宙仍会继续膨胀，也就是无限大，有可能宇宙爆炸的能量散发到极限的时候，宇宙又会变成一个原始火焰即无限小的点。这一理论能圆满地解释许多天体物理学问题