研招网 > 黑龙江研招网 > 哈尔滨工程大学 > 考研大纲

2015年哈尔滨工程大学083500软件工程考研大纲(官方)

  2015 年考试内容范围说明

  

  考试科目代码:考试科目名称: 离散数学

  考试内容与范围:

  一、数理逻辑

  1. 熟练掌握命题逻辑和一阶逻辑的基本概念,要求准确地将给出的命题符号化。

  2. 深刻理解等值式的概念,熟练掌握基本等值式,并能熟练地应用它们进行等值演算。

  4. 熟练掌握求公式主范式的方法。

  5. 对于给定的推理,熟练地运用命题逻辑和一阶逻辑的推理理论正确地构造出其证明。

  二、集合论

  1. 熟练掌握集合的基本概念、运算和恒等式。

  2. 熟练掌握集合上的二元关系的主要性质(自反性、反自反性、对称性、反对称性、传递性)的定义及判别法,熟练掌握等价关系和偏序关系的概念、相关性质和判定方法。

  3. 熟练掌握函数的定义和相关性质,熟练掌握函数是单射、满射和双射的定义及证明方法。

  4. 了解基数的概念和性质、掌握特殊集合的基数定义。

  三、代数结构

  1. 熟练掌握二元运算及其性质。

  2. 熟练掌握半群、独异点、群、循环群、阿贝尔群的概念、性质和判定方法。

  3. 了解同态和同构、环和域、布尔代数的基本概念。

  4. 掌握格的概念及其性质。

  四、图论

  1.熟练掌握图的基本概念。

  2.熟练掌握欧拉图、哈密顿图、平面图的定义和判定方法。

  3.熟练掌握树的概念和性质。

  考试总分: 180分 考试时间:2小时 考试方式:笔试

  考试题型: 填空题(30分)判断题(30分)计算题(30分)证明题(90分)

考研帮最新资讯更多

考研帮地方站

你可能会关心:

查看目标大学的更多信息

分数线、报录比、招生简章
一个都不能错过

× 关闭