北京理工大学现代远程教育学院课程检索

互联网北京理工大学现代远程教育学院

北京理工大学现代远程教育学院>课件点播>计算机类课程>离散数学

教师姓名	吴裕树	性别	男	教材名称	《离散数学》
课程简介	离散数学是现代数学的重要分支，是计算机科学理论的核心，是计算机本科教学中最重要的基础课程。它是由于计算机的研究和应用的发展而形成的学科。它在时序机、计算机系统设计、数据结构、操作系统、编译理论、算法分析、容错诊断、计算机网络中有着广泛的应用。提高本课程学习水平，使学生具有现代数学的观点和方法，为提高专业理论水平打下坚实的基础，同时培养学生抽象思维和综合概括的能力。
学时	90学时
课程大纲	第一章命题逻辑（12学时）命题及其表示，联结词，命题公式与翻译，真值表与等价公式，重言式与蕴含式，其它联结词,对偶与范式，推理理论第二章谓词逻辑（8学时）谓词的概念与表示, 命题函数与量词, 谓词公式与翻译, 变元的约束, 谓词演算的等价式与蕴含式, 前束范式, 谓词演算的推论理论第三章集合与关系（15学时）集合的概念与表示法，集合的运算，序偶与直积，关系及其表示，关系的性质和运算，复合关系和逆关系, 闭包运算，等价关系、偏序关系，函数，基数。第四章函数（5学时）函数的概念，逆函数和复合函数, 基数的概念第五章代数结构（10学时）代数系统的引入, 运算及其性质, 半群, 群与子群, 交换群与循环群, 陪集与拉格朗日定理, 同态与同构, 环与域。第六章格与布尔代数（10学时）格的概念，分配格, 有补格, 布尔代数, 布尔表达式。第七章图论（20学时）图，图的矩阵表示，欧拉图，哈密尔顿图，平面图，二部图，对偶图与着色，树与生成树，根树及其应用。
联系方式	wuyushu@public.bta.net.cn