◼ §1 谓词的概念与表示法 ◼ §2 命题函数与量词 ◼ §3 谓词公式与翻译 ◼ §4 变元的约束 ◼ §5 谓词演算的等价式与蕴含式 ◼ §6 前束范式 ◼ §7 谓词演算的推理理论

§10-1 塑性变形 塑性极限分析的假设 §10－2拉压杆系的极限荷载 §10-3 等直圆杆扭转时的极限扭矩 §10－4 梁的极限弯矩 塑性铰

用代数方法来研究数学结构,故又叫代数结构,它将用抽象的方法来研究集合上的关系和运算。 代数的概念和方法已经渗透到计算机科学的许多分支中,它对程序理论,数据结构,编码理论的研究和逻辑电路的设计已具有理论和实践的指导意义。 §1 代数系统的引入 §2 运算及其性质 §3 半群 §4 群与子群 §5 阿贝尔群和循环群 §6* 陪集与拉格朗日定理 §7 同态与同构

7.1 计算机病毒的特点与分类 7.1.1 计算机病毒的发展 7.1.2 计算机病毒的特性 7.1.3 计算机病毒分类 7.1.4 计算机病毒的传播 7.1.5计算机病毒机理 7.2 计算机病毒检查与清除 7.2.1 网络病毒检查与清除方法 7.2.2 宏病毒检查与清除方法 7.2.3 典型病毒清除方法 7.3 计算机病毒防治措施 7.3.1 计算机病毒防治管理措施 7.3.2计算机病毒防治技措施 7.3.3 常用病毒防治软件简介 7.4 本章知识点小结

一、内容： 1.车辆的种类和轴性 2．断面混合交通量或混合交通轴次 3．轴载谱 4．交通增长率

一、会计科目的概念 会计科目是对会计对象具体内容进行分类核算的项目。 二 、会计科目的作用 1．会计科目是设置账户的依据 2．会计科目是编制和整理会计凭证的依据 3．会计科目是进行会计核算和会计控制的依据 4．会计科目是编制会计报表的基础

3.1.1BJT的结构简介 3.1.2BJT的电流分配与放大原理 3.1.3BJT的特性曲线 3.1.4BJT的主要参数

一、本章重点 1.K 线的含义及画法。 2.上下影线和实体的长度对行情判断的意义。 3.单根 K 线的 14 种形状及含义。 4.16 种 K 线组合形态的名称及意义。 5.应用 K 线应注意的 4 个问题

9.1 电子邮件系统简介 9.1.1 邮件收发机制 9.1.2 邮件一般格式 9.1.3 简单邮件传输协议 9.2 电子邮件系统安全防范 9 .2.1 邮件炸弹防范 9.2.2 邮件欺骗防范 9.2.3 匿名转发防范 9.2.4 邮件病毒防范 9.2.5 垃圾邮件防范 9.3 安全电子邮件系统 9.3.1 安全邮件系统模型 9.3.2 安全邮件协议 9.3.3 常用安全邮件系统

1、钢尺量距的方法与计算 2、光电测距的原理与成果计算（难点） 3、直线定向概念及直线定向的方法（重点） 4、坐标方位角的推算（重点、难点）