第1节 紧致性定理及其应用 第2节 可判定的理论 第3节 只含后继的自然数模型 第4节 包含后继和序的自然数模型 第5节 普莱斯伯格算术模型

第1节 原始递归函数 第2节 递归函数 第3节 图灵机 第4节 图灵可计算函数与部分递归函数 第5节 递归可枚举集

第一节 The nitrogen cycle 第二节 Amino acid degradation 第三节 Nitrate reduction 第四节 Ammonium assimilation 第五节 Nitrogen fixation

人教版高中历史必修2第二单元第7课 第一次工业革命教案(1)

• 第一节 概述 • 第二节 机械式转向器方案分析 • 第三节 转向系主要性能参数 • 第四节 动力转向机构 • 第五节 转向梯形

• 第一节 电子政务的概念 • 第二节 电子政务的产生与发展 • 第三节 电子政务模式类型与应用 • 第四节 电子政务系统的结构 • 第五节 电子政务系统的建设

第七章污染的生态防治 第一节环境污染的概念及其防治措施 第二节水体污染与废水处理的生物对策 第三节大气污染及其防治 第四节土壤的污染与防治

第四章群落生态 第一节生物群落的概念 第二节群落的种类组成 第三节群落的结构 第四节影响群落组成和结构的因素

• 第一节 物理系统的实施 • 第二节 程序设计 • 第三节 软件开发工具 • 第四节 软件测试与调试 • 第五节 系统切换、运行及维护

第七章建设工程监理规划 第一节建设工程监理规划的概念 第二节建设工程监理规划的编制 第三节建设工程监理规划的内容 第四节建设工程监理规划案例