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

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

Understanding materials, their properties and behavior is fundamental to engineering design, and a key application of materials science. Written for all students of engineering, materials science and design, this book describes the procedures for material selection in mechanical design in order to ensure that the most suitable materials for a given application are identified from the full range of materials and section shapes available. Extensively revised for this fourth edition, Materials Selection in Mechanical Design is recognized as one of the leading materials selection texts, and provides a unique and genuinely innovative resource

本书内容包括：固体材料的结构，常用工程材料(高分子材料、金属材料、陶瓷材料和复合材料)的结构、力学性能、成分、加工工艺以及应用前景，常用工程材料的化学性能(耐腐蚀性能)和物理性能(电、磁、热和光学性能)以及新型材料(生物材料、纳米材料和智能材料)的介绍等

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

第一节 神经系统和神经调控 第二节 信息的产生和传递 第三节 感觉器和效应器 第四节 脑的高级机能 第五节 激素和调控作用 第六节 免疫调控

第一节 细胞增殖的意义 第二节 细胞周期 第三节 有丝分裂 第四节 胞质分裂 第五节 减数分裂 第六节 细胞的分化衰老和死亡 第七节 细胞调亡 第八节 脱离正常轨道的细胞-癌细胞

第一节 孟德尔与 “基因” 思想 第二节 遗传的染色体基础 第三节 遗传的分子基础 第四节 基因的结构与表达调控 第五节 突变与遗传疾病 第六节 基因工程 第七节 人类基因组计划

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

能量与能源 能量一宇宙间一切运动着的物体,都 有能量的存在和转化,人类一切活动都 与能量及其使用紧密相关。 所谓能量,也就是\产生某种效果(变 化)的能力”。反过来说,产生某种效 果(变化)必然要伴随能量的消耗和转 换