1、命题(Proposition) 2、从简单命题(atomic proposition)到 复合命题(compositional proposition) 3、从命题常量(propositional constant)到 命题变量(propositional variable) 4、从复合命题(compositional proposition)到 命题公式(propositional formulas)

证明的构造/形式：由两个部分组成 1、公理、假定或前提/axiom、postulate、hypotheses 2、推理规则/rule of inference 其它：引理/lemma、推论/corollary、猜想/conjecture一些基本概念

定义1：n个元素的集合A中任意选择r个（r  n）进行排列称为A的一个r-排列/r-Permutation定理1： n个元素的集合A的r-排列数为n(n-1)(n-2)…(n-r+1)

7.1 高分子化合物概述 7.2 高分子化合物的基本结构和重要特性 7.3 高分子化合物的合成、改性与再利用 7.4 日常生活中的高分子材料 7.5 材料的未来与分子设计

一：相关概念、优势、作用与发展 二：计算机辅助教学 1、CAI的基本概念和应用模式 2、CAI的开发环境 3、CAI的开发过程 三：CAI素材处理 四：课件合成

5.1 原子结构的近代概念 5.2 多电子原子的电子分布方式和周期系 5.3 化学键与分子间相互作用力 5.4 晶体结构

一、CAI概念及特点 1、概念是CBE的主要组成部分，指以计算机为主要教学媒介进行的教学活动，即利用计算机帮助教师进行教学活动

1.1 反应热的测量 1.2 反应热的理论计算 1.3 常见能源及其有效与清洁利用 1.4 清洁能源与可持续发展 选读材料 核能 Ⅰ. 核燃料和核能的来源 Ⅱ. 核电的优势与发展趋势

2.1 化学反应的方向和吉布斯函数变 2.2 化学反应进行的程度和化学平衡 2.3 化学反应速率 2.4 大气污染及其控制

（一）教育技术/电化教育的功能 1、再现功能 不受时间空间限制，根据需要使教学对象在 大小、远近、快慢等之间进行相互转化，使之 再现于课堂，让学生“身临其境”地进行学习