《离散结构》课程教学大纲.docVIP

《离散结构》课程教学大纲 执 笔 人： 袁岗 编写日期：2009、9、7 一、课程基本信息 1、课程： 2、课程名称（中文）：课程名称（英文）：3、课程层次/性质： 4、学时/学分：5、先修课程：6、适用专业： 二、课程逻辑逻辑1．Fundamentals（学时）2．Logic（学时）?1)2) 谓词逻辑（6学时） 了解谓词与量词，理解谓词逻辑中的符号化；了解谓词公式，了解真与逻辑有效；掌握谓词逻辑的等值演算，掌握前束范式及其求法；掌握谓词逻辑的推理理论。 3．Counting（2学时） 了解排列及组合的基本概念、运算及性质，了解鸽笼原理的概念，掌握鸽笼原理的应用。 实践与研究性教学环节3（2学时----逢双周给出） 本部分教学内容完成后，主讲教师应安排2学时的试验课程，介绍数学软件MatLab语言的使用或布置离散结构相关授课内容的上机实验题1—2道或相关研究论文小题目。 4．Relations and Digraphs（学时） Functions（学时） 6. Order Relations and Structures（6学时）Trees（学时）Huffman算法求最优二元树。 实践与研究性教学环节6（2学时----逢双周给出） 本部分教学内容完成后，主讲教师应安排2学时的试验课程，介绍数学软件MatLab语言的使用或布置离散结构相关授课内容的上机实验题1—2道或相关研究论文小题目 8．Topocs om Graph Theory（8学时 理解二分图、可扩充链、二分图的匹配的定义的实质，能熟练识别二分图，能熟练求最大匹配和从X到Y的匹配。 理解平面图的定义和欧拉公式的实质，掌握库拉托夫斯基定理的内容，会用库拉托夫斯基定理证明非平面图，了解图的着色数问题。 实践与研究性教学环节7（2学时----逢双周给出） 本部分教学内容完成后，主讲教师应安排2学时的试验课程，介绍数学软件MatLab语言的使用或布置离散结构相关授课内容的上机实验题1—2道或相关研究论文小题目 9 Semigroups and Groups（10学时） 主要内容：半群，独异点，子半群，半群同态，商半群，半群直积，群，子群，群同态，变换群，置换群，循环群，不变子群，商群，同态基本定理。 了解二元运算的概念与性质，了解半群、独异点、群及它们的子代数、同态、同构的基本概念和性质，理解半群的积与商及群的积与商的概念和性质，了解环与域的概念。 *实践与研究性教学环节8（2学时----逢双周给出） 本部分教学内容完成后，主讲教师应安排2学时的试验课程，介绍数学软件MatLab语言的使用或布置离散结构相关授课内容的上机实验题1—2道或相关研究论文小题目 四、课程教学的基本要求 教学方式以课堂讲授第章 10—16题 第章 逻辑 0—32题 第章 5—8题 第章 20—28题 第5章 10—12题 第6章 12—18题 第7章 12—16题 第章 图 16—20题 第章 16—24题 先修课程：2005年月 参考书目： 1、《离散数学》耿素云　屈婉玲编著，北京大学出版社出版。、《离散数学》Kennety H.Rosen编著，出版社出版。Discrete Mathematics. 4th editon》 Richard Johnsonbaugh，电子工业出版社,1999 3