《离散数学》课程教学大纲-同济大学精品课程.PDFVIP

《离散数学》课程教学大纲 课程编号：122181 学分：3 总学时：3×18=54 大纲执笔人：蒋志洪 大纲审核人： 一、课程性质与目的 离散数学是现代数学的一个重要分支，离散数学是以研究离散量的结构和相互间 的关系为主要目标，其研究的对象一般是有限个或可数个元素，由于在计算机中， 无论是软件还是硬件，本质上均是一个离散系统，所以离散数学充分描述了计算 机科学离散性的特点。离散数学是随着计算机科学的发展而逐步建立起来的，它 形成于七十年代初期，是一门工具性学科并且也是计算机专业的一门重要的专业 基础课 二、课程基本要求 掌握命题和命题的运算，会计算命题公式的真值表，掌握逻辑推理理论，和证明 方法。 掌握关系的定义及其关系的属性，掌握关系的有向图，关系的矩阵和关系的运算， 会求关系的自反闭包，对称闭包和传递闭包。掌握等价关系和等价关系与划分的 联系，会求等价类（商集合）。 掌握函数的定义，函数的运算（复合函数和逆函数），函数的性质（单射，满射， 双射）。掌握有限集合上置换的表示，会将置换写成对换的乘积和循环的乘积， 会判别置换的奇偶性。 掌握图，图的点，边，路径，图的子图，商图等概念。掌握欧拉图和哈密尔顿图， 会判别欧拉图和哈密尔顿图。掌握图的着色，会求图的着色多项式。掌握有根树 和无向树的定义，会求连通图的生成树和最小生成树。 掌握偏序集合，格，布尔代数，会用布尔代数上的多项式表示布尔代数上的函数。 掌握代数运算定义，掌握半群，子半群，半群乘积。掌握同余关系和商半群。掌 握半群的同态和同构以及半群的同态定理。掌握群，子群，群乘积，陪集，正规 子群和商群，掌握群的同态和同构以及群同态基本定理。 三、课程基本内容 命题，命题的联结词，命题公式的真值表，谓词命题，数量词，命题的逻辑等价， 逻辑推理，证明方法。 集合的笛卡儿积，集合的划分，关系，关系的有向图和关系的矩阵，关系的运算 （补，逆，交，并），关系的属性（自反，非自反，对称，反对称，非对称，传 递），等价关系，等价关系与划分，商集合。 函数，函数的单射，满射和双射。复合函数和逆函数。有限集合上的置换，对换， 循环，置换的奇偶性。 偏序集合，格，布尔代数，布尔代数上的多项式。 图, 图的路径，子图，商图，欧拉图，哈密尔顿图，图的着色，有根树，无向树， 生成树，最小生成树 二元运算，半群，同余关系，商半群，同态定理。群，子群，陪集，正规子群和 商群，群的同态基本定理。 四、实验或上机内容 五、前修课程要求 线性代数 六、学时分配 学 时 安 排 序号 内 容 理论 实验 习题 上机 小计 课时 课时 课时 课时 命题的联结词，真 1 4课时 值表 命题的逻辑等价， 2 4课时 证明方法 关系，关系的有向 3 4课时 图和关系的矩阵 等价关系，等价关 4 2课时 系与划分，商集合 关系的补，逆，交， 5 2课时 并 函数的属性。函数 6