2019复习提纲

复习提纲。

一、命题逻辑。

1. 5个连接词，是运算，运算的优先级别及运算的性质。

2. 合式公式的定义方法（归纳定义法，p57）

3. 含n个命题变元的合式公式的解释的个数（p8倒数第14行）， 它的真。

值表有多少行？

3. 主范式：任何一个合式公式的主范式都是存在的且唯一；永假式与永真。

式的主范式有点特殊，是规定的（p20第15行，p23第1行）。求一个公。

式的主范式的过程，最后的结果的表达；

参考练习题：p24第2题的第2小题，第3题的第2小题。

5. 推理证明应注意的事项（推理规则，三种证明方法），注意表达的规范。

二、谓词逻辑。

1. 一个公式的解释的个数是无穷的。

2. 对量词的理解：p38 4.

3. 在合式公式中变元的约束出现与自由出现参考练习：p40的第1题

三、集合与关系。

1. 集合的运算：交、差、并和补，幂集，笛卡尔积的基数相关知识。

2. 关系的定义，二元关系的前域、定义域、陪域、值域的概念。

3. 关系的三种表示方法，给出一个具体的二元关系，会正确地。

画出其关系图和关系矩阵。

3. 恒等关系及其表示符号（ia）、关系矩阵(单位矩阵)及关系图的特征；

全域关系的关系矩阵和关系图的特征。

4. 关系的五个性质及其在关系矩阵和关系图中的特征（仔细读p80倒数第18行开始的一整个自然段。）

5. 关系的自反性与反自反性是完全排斥的吗？关系的对称性与。

反对称性呢？ （p80倒数第9行开始的整个自然段及例4.2.3）

9 warshall算法的作用是什么？（有限集合上的二元关系的传递闭包）

6. 等价关系的定义，等价关系中每个元素的等价类的定义及求法。

7. 等价关系中商集的概念及求商集的方法。

8. 一个集合的划分的概念。

9. 一个集合上的等价关系与该集合上的划分之间的关系。

10. 一个集合上划分的个数与等价关系的个数（p96例4.4.7）

11. 偏序关系、覆盖（p100例4.5.2）及其hasse图的画法，及偏序集合的任意子集中最元、极元、上下界、上下确界的概念及求法（p104第1题）

12. 函数的定义。恒等函数的概念。函数中前域与定义域的关系，陪域与值域间的关系。

13. x、y是有限集合，y的x次方所表达的意思？（p112定义5.1.3）

14. 单射、满射及双射的定义。

15. 当函数的前域与陪域均为有限集合时，函数的性质与集合的基数之间的关系。（p114定理5.1.1）

16. 代数运算的定义，运算的阶的概念。

17. 运算的性质。

18. 特殊元的定义及求法（p146第4题、第7题）

19. 同态与同构是用来描述两个代数系统的关系的。

20. 半群、独异点的定义（p160第2题，p164第2题）

2019复习提纲

复习提纲。一 单选题 1 中华人民共和国节约能源法 由第十届全国人民代表大会常务委员会第三十次会议修订通过，自起施行。a 1998年1月1日b 2007年10月28日。c 2008年1月1日d 2008年4月1日。2 节约能源法 所指节约能源，是指加强用能管理，采取技术上可行 经济上合理以及环境和社...

2019复习提纲

复习提纲。一 1 电力电子器件。2 性能指标有及工作状态。3 电力电子电路主要有？4 电力电子的常用器件主要技术参数有 5 gtr在电力电子电路中主要考虑的电参数有 静态 动态。6 gtr从组成结构 其特性曲线可分为四个区。7 功率mosfet的主要参数有 静态动态。8 mosfet在使用和运输过程...

2019春复习提纲

关于2010 2011学年第二学期 马克思主义基本原理 期末考试的公告。1 考试时间为2011年6月27日 星期一 15 00 17 002 本次考试为闭卷考试。3 考试题型及分值 单项选择题 30小题，共30分。多项选择题 10小题，共10分。判断题 20小题20分。简答题 4小题，共16分。论述...