2015年湖南大学0835软件工程考研大纲

　　课程编号课程名称：离散数学
　　一、考试内容
　　第一部分命题逻辑：命题及联结词、命题公式及其赋值、等值式、析取范式与合取范式、推理理论、消解法。（20分）
　　第二部分谓词逻辑：谓词公式及其解释、合法的谓词公式、个体变元的身份、谓词公式的真值、谓词公式的类型、谓词公式等值演算、词公式的范式、谓词推理。（20分）
　　第三部分集合与关系：集合运算与性质、有穷集的计数、序偶、直积或笛卡尔积、关系、关系的复合、关系分类、关系的闭包、等价关系与集合的划分、偏序关系。（20分）
　　第四部分代数系统：运算的定义、运算的性质、代数系统、、半群、群、子群、群的陪集分解、循环群、置换群（20分）
　　第五部分图论：图的连通性、欧拉图、哈密尔顿图、平面图与四色猜想、树与生成树、最短路径。（20分）
　　二、考试题型
　　选择题，填空，计算，证明，应用题，其中选择题20分，其他题型其80分。
　　三、参考书目
　　屈婉玲耿素云张立昂编著，离散数学，高等教育出版社
　　杨圣洪张英杰陈义明离散数学科学出版社

　　点击【2015年湖南大学考研自命题考试大纲】查看更多考研大纲。
【相关阅读】
研究生招生专业索引
2015年全国各学校考研大纲汇总