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

PAGE PAGE 1 《离散数学》课程简介 课程编号 1240713021 课程名称 离散数学 课程性质 选修 学 时 48 学 分 3 学时分配 授课：48 ? 实验： 上机：?? 实践：??? 实践（周）： 考核方式 闭卷考试，平时成绩占30% ，期末成绩占70% 开课学院 理学院 更新时间 适用专业 信息与计算科学、数学与应用数学 先修课程 数学分析、高等代数 课程描述： 离散数学是计算机科学与技术专业的教学计划中的一门重要的学科基础课。通过这门课的学习，要使学生系统地获得数理逻辑、集合论、图论等基本知识和必要的基础理论，为学习后继课程和进一步扩大数学知识奠定必要的数学基础。 本课程主要内容包括：命题、合取联结词、析取联结词、蕴涵联结词、等价联结词、否定联结词、联结词的完备集、推理的形式结构、自然推理系统P、一阶逻辑公式及解释、集合、笛卡尔积、二元关系、关系的运算、关系的性质、等价关系与划分、偏序关系、图、通路与回路、图的连通性、图的矩阵表示、图的运算、欧拉图、哈密顿图、带权图与货郎担问题、无向树及其性质、生成树、根树及其应用。 Brief Introduction ?Code 1240713021 Title Discrete mathematics Course nature Selected Semester Hours 48 Credit