研招网 > 陕西研招网 > 陕西科技大学 > 考研大纲

2015年陕西科技大学081203计算机应用技术考研大纲

    考研网快讯,据陕西科技大学研究生院消息,2015年陕西科技大学计算机应用技术考研大纲已发布,详情如下:

  陕西科技大学硕士研究生入学考试
  《离散数学》考试大纲

  考核要点:
  1.数理逻辑(包括命题逻辑和谓逻辑)
  命题及联结词、命题公式与翻译、真值表和等价公式、重言式、范式、全功能联结词集、最小全功能联结词集、对偶式与蕴含式、命题逻辑的推理理论、个体、谓词、量词、谓词公式、谓词演算的等价式与蕴含式、前束范式和谓词逻辑的推理理论。
  2.集合论(包括集合、二元关系和函数)
  集合、集合和集合元素间的关系、幂集合、集合的运算、集合表示法、集合的基本定律、多重组、笛卡儿乘积、关系定义、二元关系的基本性质、关系矩阵和关 系图、复合关系、复合关系的矩阵表达、逆关系、逆关系的关系矩阵、关系的闭包运算、集合的覆盖和划分、等价关系、相容关系、偏序关系、全序关系与良序集关 系。函数定义、函数的复合、反函数、单射、满射和双射、集合的基数、有限集和无限集的基数、集合的基数的比较。
  3.代数系统(包括代数系统和几个典型的代数系统)
  (a)代数运算、代数系统和子代数概念。
  (b)二元运算的性质:结合律、交换律、分配律、幂等律、吸收律。
  (c)代数系统中的单位元(幺元)、零元和逆元等特殊元素的性质。
  (d)广群和半群、独异点、群的定义和性质;阿贝尔群、子群的概念和子群的判定、陪集和拉格朗日定理、正规子群。
  (e)循环群和循环群的生成元、阿贝尔群和置换群。
  (f)同态与同构的概念,知道它们的主要性质。
  (g)环的定义及基本性质、交换环、含幺环、无零因子环、整环、子环、域、环和域的同态以及环和域的关系。
  (h)格的概念和性质、格的对偶原理、子格和格的同态、分配格和有补格。
  4.图论
  (a)图、子图、生成子图、补图、多重图、简单图、完全图和正则图、路径、回路、简单路、基本路和初级回路的基本概念及性质;无向连通图、强连通图、单向连通图、弱连通图、强分图、单向分图和弱分图的基本概念及性质。
  (b)图的邻接矩阵、简单有向图可达性矩阵、简单无向图连通矩阵、简单无向图连通矩阵、无向图和有向图的完全关联矩阵定义及性质。
  (c)欧拉图、哈密顿图、无向树、生成树、根树、二叉树、二部图、平面图、欧拉公式、平面图的对偶图。
  参考书目:《离散数学》(第2版)邓辉文,清华大学出版社

陕西科技大学论坛新帖:更多

陕西科技大学考研论坛

考研帮最新资讯更多

考研帮地方站

你可能会关心:

查看目标大学的更多信息

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

× 关闭