北京邮电大学06年博士离散数学考试大纲.doc

《北京邮电大学06年博士离散数学考试大纲.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、北京邮电大学06年博士考试大纲_离散数学北京邮电大学2006年博士研究生考试大纲——206离散数学206离散数学一、考试要求要求考生系统地掌握离散数学的基本概念、基本定理和方法，具有较强的逻辑思维和抽象思维能力，能够灵活运用所学的内容和方法解决计算机科学中的实际问题。二、考试内容1、数理逻辑1)命题和联结词，谓词与量词，合式公式，赋值，解释与指派，范式2)命题形式化，等价式与对偶式，蕴含式，推理与证明3)证明方法4)数学归纳法2、集合论1)集合代数，笛卡尔乘积，关系与函数，关系的性质与运算2)等价关系，划分3)偏序关系与偏序集，格3、计数1)排列与组合，容斥原理，鸽巢原理2)离散概率3)函

2、数的增长与递推关系4、图论1)欧拉图与哈密顿图，平面图与对偶图，二部图与匹配，图的着色2)树，树的遍历，最小生成树3)最短路径，最大流量5、形式语言与自动机1)语言与文法，正则表达式与正则集2)有限状态自动机，自动机与正则语言6、代数系统1)二元运算，群与半群，积群与商群，同态与同构2)群与编码3)格与布尔代数，环与域三、试卷结构1、考试时间为3小时，满分100分。2、题目类型：计算题、简答题和证明题。