重点: 1、命题(简单命题, 复合命题)及符号化(联结词) 2、公式类型(可满足,永真,永假) 3、等值演算( 证明A  B) 4、联结词完备集 ( 用指定联结词表示任意公式) 5、主析（主合）取范式, 成真(假)赋值 6、推理证明(推理规则)

Ｃ语言是在 70 年代初问世的。一九七八年由美国电话电报公司(AT&T)贝尔实验室正 式 发 表 了 Ｃ 语 言。 同 时 由 B.W.Kernighan 和 D.M.Ritchit 合 著了 著 名 的 “ THE C PROGRAMMING LANGUAGE”一书。通常简称为《K&R》，也有人称之为《K&R》标准。 但是，在《K&R》中并没有定义一个完整的标准 C 语言，后来由美国国家标准协会（American National Standards Institute）在此基础上制定了一个 C 语言标准，于一九八三年发表。通常 称之为 ANSI C

分布式能源系统 随着经济的发展和人们生活水平的提高,特别是城市化进程的加快,商业和民用对热、电、 冷总体能源的需求急剧增加,能源需求的主体呈现多样化的态勢,这种需求的特点突破了传统意 义上的热电冷联产主要服务于工业上用热、用冷的局面,为热电冷联产技术的发展提供了更广的 市场空间。随着能源技术的进步,天然气发展,特别是微型燃气轮机、燃料电池的技术成就,实 现资源的合理、有效利用,发展基于分布式能源系统的小区、楼宇等热电冷联产的前景非常看好。 所谓“分布式能源”是指分布在用户端的能源综合利用系统。一次能源以气体燃料为主,可再 生能源(包括城市垃圾等)为辅,利用一切可以利用的资源:二次能源以分布在用户端的热电冷 联产为主,其他中央能源供应系统为辅,实现以直接满足用户多种需求的能源梯级利用,并通过 中央能源系统提供支持和补充。 在环境保护上,分布式能源系统将部分污染分散化、资源化,争取实现适度排放的目标

高分子、高聚物、大分子(Macromolecule)、高 分子化合物、大分子化合物、聚合物( Polymer) 高分子:许多结构相同、简单的单元通过共价键 重复连接而成的分子质量很大,分子链较长的化 合物

一、二次点列上的射影对应 二、二次点列上的射影变换 三、二次点列上的对合

一、p-n结的形成和种类 1．合金法 2．扩散法

受力特征:杆受一对大小相等、方向相反的纵向力,力的作用线与杆轴线重合

一、简易吊车 二、厂房立柱

构件的受力特点：作用于构件两侧的外力的合力 是一对大小相等、方向相反、作用线相距很近的 横向力

5.1 创建表格 5.1.1 使用【插入表格】按钮创建 5.1.2 使用【表格】菜单创建 5.1.3 使用工具栏创建自由表格 5.2 修改表格 5.2.1 插入单元格、行、列 5.2.2 删除单元格、行、列 5.2.3 合并表格或者单元格 5.2.4 拆分单元格 5.2.5 调整单元格宽度和高度