武汉理工大学博士入学考试《离散数学》考试大纲

武汉理工大学博士入学考试《离散数学》考试大纲 dn Sb}J  
2efdJ&eIV  
;Bz
x}7
A  
一、 考试要求共济 o ayu*a.  
要求考生系统地掌握离散数学的基本概念、基本定理和方法，具有较强的逻辑思维和抽象思维能力，能够灵活运用所学的内容和方法解决实际问题。考 u4m8^fj+T  
二、 考试内容济 niW"o-}  
1、     数理逻辑济 !y'>sAf  
1)命题和联结词，谓词与量词，合适公式，赋值，解释与指派，范式共 "Jg.)1Jw  
2) 命题形式化，等价式与对偶式，蕴含式，推理与证明 k*\)z\f  
3) 证明方法3 W3\E;C-g0  
4)数学归纳法  YPNW%N!$|  
2、     集合论院 Q4a7g$^  
1)集合代数，笛卡尔乘积，关系与函数，关系的性质与运算 2k^rZ^^"  
2)等价关系，划分共济 MuP>#Vk  
3)偏序关系与偏序集，格辅导 ,9_O4O%  
3、     计数336260 37 <p/2hHfiD  
1) 排列与组合，容斥原理，鸽巢原理共 YhfQpe  
2) 离散概率正门 q5'G]j{,Z  
3) 函数的增长与递推关系院 ?_A[E]/H  
4、     图论 共济网 ]7yx Xg  
1) 欧拉图与哈密顿图，平面图与对偶图，二部图与匹配，图的着色021- y,ub*-:  
2) 树，树的遍历，最小生成树正门 '<uM\v^k  
3) 最短路经，最大流量  vf+z0df  
5、形式语言与自动机 院 [[6"qq  
1) 语言与文法，正则表达式与正则集  RjPkH$u'Pj  
2) 有限状态自动机，自动机与正则语言 nLG) >L  
6、     代数系统 j2u'5kJ G  
1) 二元运算，群与半群，积群与商群，同态与同构 G kG#+C0L  
2) 群与编码 :9%e:-  
3) 格与布尔代数，环与域 D M+MBK  
三、 试卷结构 &0%Zb~ts  
1、考试时间为3小时，满分100分。 j%-Ems*H  
2、题目类型：计算题、简答题和证明题。 C/qKa[mg  
参考书 k3@d =k  
  1．离散数学，胡新启，武汉大学出版社，2007年。 D6&P9e_5  
2．离散数学，尹宝林、何自强、许光汉、檀凤琴等，高等教育出版社，1998年。 HQ" trV  
  3．离散数学及其应用，Kenneth H. Rosen，机械工业出版社，2002年。 . _|=Btoo  
-s`Wd4AP  
,IqE<i!U