2015年华中科技大学考博:计算机数学考试大纲

2015-09-06 12:11:18来源:网络

  二、代数系统

  1. 集合A上运算的概念,二元运算的一些特殊元素

  2. 运算的封闭性和代数系统的概念

  3. 同态,满同态以及同构的概念和性质

  4. 群的定义和性质

  5. 子群及其判别

  6. 陪集和正规子群

  7. 格的定义和性质

  8. 有补格,分配格和布尔代数的定义及有关性质

  三、图论

  1. 图的定义及有关的各个概念,完全图、连通图、子图、分图等。欧拉图,哈米尔顿图,图的连通性

  2. 树的定义及性质,有向树的定义,二元树及二元树的周游,有向树中的一些数量关系,有向树的应用

  3. 二部图的定义及其判别

  4. 平面图的定义及其判别

  四、数理逻辑

  1. 命题逻辑

  命题,命题联结词,命题变元,命题公式,永真公式,永假公式及可满足公式,命题

  公式的等值关系和蕴含关系,命题演算的推理理论

  2. 谓词逻辑

  谓词、个体词和量词,谓词演算公式,谓词演算的永真公式,永假公式和可满足公式,谓词演算公式的等值和蕴含,谓词演算的推理理论

  五、形式语言与自动机

  1、语言及文法

  语言的定义与运算、文法、文法的分类。

  2、有限自动机和右线性文法

  有限自动机、不确定的有限自动机、DFA与NFA的等效、有ε转换的不确定的有限自动机、正则集与正则式、右线性文法和正则集、右线性语言与有限自动机、右线性语言的性质。

考博必备!历年真题及答案

考博精品好课,就选新东方!

关注新东方在线服务号

回复【考博真题】领取备考必看真题集

更多资料
更多>>
更多内容
更多>>
更多好课>>
更多>>
更多资料