师范软件工程010离散数学.pdfVIP

2014 年 入学 自命题 大纲 科目代码： 科目名称：离散数学 一、试卷结构 1) 试卷成绩及 时间 本试卷满分为 100 分， 时间为 180 分钟。 2)答题方式：闭卷、笔试 3)试卷内容结构 集合论 40% 数理逻辑 40% 图论 20% 4)题型结构 a: 填空题，5 小题，每小题 5 分，共25 分 b: 计算题，3 小题，每小题 10 分，共 30 分 c: 证明题，3 小题，每小题 15 分，共45 分 二、 内容与 要求 1、集合论 内容 集合及其表示 集合的运算与性质 二元关系的概念 二元关系的五种性质 关系矩阵与关系图 关系的各种运算与性质 关系闭包与性质 相容关系 等 价关系 序关系 部分函数、满射、 、双射的概念可逆、左可逆、右可逆 函数 特征函数 集合的基数与性质 要求 （1）理解集合的表示、二元关系的概念、部分函数、满射、 、双射的概 念可逆、左可逆、右可逆函数的概念； （2 ）掌握集合的运算与性质、关系的五种性质、关系的运算与性质、关系闭 包与性质、相容关系、等价关系、序关系. （ 3 ）了解特征函数 集合的基数与性质． 2 、数理逻辑 内容 命题与命题的真值 五个基本联结词 命题符号化合式公式真值表 合式 公式的类型 等价式、蕴含式的证明 范式和判定问题 求主范式的方法 变 元、谓词和量词 量词的辖域、前束范式 合式公式的解释、求合式公式在 给定解释下真值的方法 要求 （1）理解命题与命题的真值、联结词、合式公式与真值表、变元、谓词和 量词等概念． （2 ）掌握合式公式的类型、等价式、蕴含式的证明、求主范式的方法、合 式公式的解释、以及求在给定解释下真值的方法． 3 ）了解量词的辖域、前束范式． （ 3、图论 内容 图的基本概念 路与回路和连通性 图的矩阵表示 图和 图 平面 图 对偶图与 树与生成树 根树及其应用 要求 （1）理解图、路、回路和连通性等基本概念． （2 ）掌握一些特殊图类的性质，树的特征与应用． 三、参考书目 [1] 左孝凌等，《离散数学》，左孝凌等，《离散数学》， 科技文献科技文献 ，，1982 年 [2] 、 、 ，《离散数学》，国防科技大学 ，1998 年 [3] 云、 ，《离散数学》，高等教育 ，2003 年