• 基本知识 – 计算、计算模型、并行计算模型 • 图灵机概述 – 图灵的基本思想、基本图灵机、图灵机的变种 • 演算 – 表达式的文法、 演算的变换规则、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三元式、赋值公理、结构化语句的推理规 则、推论规则 • 生成验证条件的演算 – 最弱前条件演算、生成验证条件的演算 • 程序验证实例演示 – 二分查找程序

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

一、生物小分子与生物大分子的关系 二、生物小分子简介 三、生物大分子的形成 四、生物大分子的高级结构

一、细胞学说的建立 二、细胞的结构与功能 三、细胞分裂和细胞周期 四、细胞分化、衰老与死亡

一、人体的两道防线 二、免疫器官和免疫细胞 三、特异性免疫的工作机理 四、免疫学的实际应用

一、 信息传递是生命活动的重要内容 二、神经系统在信息传递中的作用 三、激素系统和细胞信息传递 四、神经、激素配合作用控制体内稳态