1.1 命题与联结词 1.2 命题公式及其分类 1.3 等值演算 1.4 命题公式的标准形式 1.5 命题演算的推理理论

一、字符串和形式语言 二、形式文法 三、形式文法的分类

1、使学生了解工业建筑的特点、分类及 组成； 2、了解影响工业建筑设计的主要因素

了解变形缝的概念、分类、相互之间 的区别及常用的构造作法

1 资源的概念、分类体系和属性 1．1 资源的概念 1．2 资源的分类体系 形成原因：自然资源，社会经济资源根据自然资源的可更新性、耗竭性和可重复使用性等划分：非再生性资源（煤炭，石油，天然气和各种矿物），再生资源（生物和非生物因素组成的生态系统）。 狭义的概念分类：土地资源，气候资源，水资源，海洋资源，矿产资源，能源资源，旅游资源等

00 General总论 00 A General and miscellaneous specific topics,总论和各种特殊课题 00 B Conference proceedings and collections of papers,会议录和论文集

一、数学物理方程的导出 二、数学物理方程的分类 三、定解条件 四、达朗贝尔公式 五、本章小结

① 转变林业经营思想 ② 推进林业体制改革 ③ 调整林业产业结构 ④ 完善森林资源管理制度 ⑤ 实施分类经营改革试点

一、非关税措施及其分类 二、 限制进口的非关税措施经济分析 三、 限额 四、 自愿出口限制 五、 许可证

一、 关税分类与关税制度 二、关税的经济分析 三、关税政策选择