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

《离散数学》课程教学大纲 课程 编号01826130 课程 名称 （中文）离散数学 （英文）Discrete Mathematics 课 程 基 本 情 况 1．学分：5 学时：50 （课内学时：50 实验学时： ） 2．课程性质：专业课 3．适用专业：数学专业、计算机专业 适用对象：本科 4．先修课程：《线性代数》（或《高等代数》） 5．首选教材：《离散数学教材》左孝凌等（上海科技文献1） 1982.9 二选教材：《离散数学》王遇科 北京理工大学 1990.10 参考书目：《Graph Theory with Application》J.A.Bondy等 Am. Elsevier 1976 《Elements of Discrete Mathematics》Liu,C.L. Mc.Grawffillco 1968 6．考核形式：考试（闭卷） 7．教学环境：教室 课 程 教 学 目 的 及 要 求 教学目的： 通过本课程的学习，理解数理逻辑的基本概念和推理，演算的方法，培养学生的抽象思考能力，同时，了解集合论及图论的基本知识，从而进一步掌握对离散对象的基本研究方法。为后继课程打好基础。 教学要求： 掌握逻辑的基本概念，包括命题逻辑和谓词逻辑；掌握集合的概念及运算；掌握关系的概念及性质；掌握函数的基本性质；掌握图论的基本内容，包括图的概念，路与回路，图的矩阵表示，欧拉图与哈密尔顿图等。 课 程 内 容 及 学 时 分 配 课 程 内 容 及 学 时 分 配 （一）命题逻辑 （10学时） 1．命题概念 2．联结词命题公式 3．真值表 4．等价公式 5．重言式与蕴含式 6．对偶与范式 7．推理理论 重点： 命题概念、联结词，常用等价公式，推理理论。难点：主析，合取范式。 （二）谓词逻辑 （10学时） 1．谓词概念 2．量词、谓词公式 3．变元的约束 4．谓词演算的等价式与蕴含式 5．谓词演算的推理理论 重点： 谓词概念，谓词公式，量词、谓词演算的等价式与蕴含式，谓词演算的推理理论。 难点： 谓词演算的等价式与蕴含式。 （三）集合论（ 6学时 ） 1．集合的基本概念 2．集合代数 3．笛卡尔积 重点： 集合的运算及有关定理、笛卡尔积。 （四）关系（ 6学时 ） 1．关系的定义和基本性质 2．等价关系 3．关系的合成 重点： 关系的性质，等价关系。 难点： 关系的闭包。 （五）函数（ 6学时 ） 1．函数的基本定义和性质 2．复合函数（函数的合成） 3．逆函数 重点： 函数的概念，函数的合成，逆函数。 （六）图论（ 12学时 ） 1．图的概念 2．路与回路 3．图的矩阵表示 4．欧拉图与哈密尔顿图 5．平面图 6．着色 7．树与生成树根树及其应用 重点： 图的基本概念，Euler图与Hamilton图、平面图、树、根树及其应用。 难点： 平面图。 说明 数学与应用数学专业学生必修。建议数学其它专业中被推荐读研究生或拟报考研究生者必修。 大纲 编写 责任 人 运筹学与控制论 （教研组） 许承德 （签名） 2001 年06 月 30 日 系 审核 意见 数学 （系） 顾桂定 （签名） 2001 年 06 月 30 日 学院 审核 意见 张金仓 （签名） 上海大学理学院 （公章） 年 月 日 148