2.1个体、谓词与量词 2.2谓词公式 2.3谓词演算的等价式与蕴含式 2.4前束范式 2.5谓词逻辑的推理理论

1.1 统计及其应用领域 1.2 统计数据的类型 1.3 统计中的几个基本概念

中国地质大学：电子商务（网络经济对传统商务的冲击）

一、经济意义 二、国内外栽培历史 三、葡萄栽培现状 四、主要种类和优良品种 五、生物学特性

15.1 交互式零知识证明系统的定义 15.2 交互零知识证明系统的构造 15.3 非交互零知识证明系统理论

1、学习海上自卫术 2、复习云梯、学习云梯、单、双臂前进

国家开放大学：2011—2012学年第一学期“开放本科”机械制造专业传感器与测试技术期末试题（1月）

一、密钥的种类 基本密钥(Base key)或称初始密钥(Primary key)

国家开放大学：2010—2011学年第一学期“开放本科”机械制造专业传感器与测试技术期末试题（1月）

一、掌握腹痛的病因分类、发生机制 二、掌握常见腹痛的临床表现及其鉴别诊断要点 三、掌握腹痛的临床问诊要点