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

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

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

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

一、遗传信息的存储和传递者—核酸 二、遗传信息的表达者——蛋白质 三、生命过程的催化剂——酶 四、生命过程的碳源和能源——糖类 五、生命体的重要构件和储能物质——脂类 六、维持生命的重要小分子物质——维生素

一、病原物（可致病的细菌、病毒与真核生物） 二、“慢病毒”引起的疾病 三、朊病毒的发现

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

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

一、酶是生物催化剂 二、细胞生命活动的能量来源 三、DNA、RNA以及蛋白质的生物合成 四、细胞内代谢途径的区室分布

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