离散数学-南方医科大学.docVIP

南方医科大学本科专业教学大纲 离散数学 Discrete Mathematics 适用专业：生物医学工程（信息工程） 计算机科学与技术 生物信息学专业 执笔人：颜 刚 审定人：李 彬 学院负责人：陈武凡 南方医科大学教务处 二○○六年十二月 课程编码：B030044 一、课程简介 《离散数学》是生物医学工程专业（信息工程）、计算机科学与技术专业、生物信息学专业学生的必修课程，72学时，4学分。该课程体系介绍逻辑学、关系与集合、代数系统和图论基本知识和基本理论。通过本课程的学习，使学生获得培养学生的逻辑推理能力、抽象思维能力，和解决问题的实际能力，培养学生具有比较熟练的运算能力和综合运用所学知识去分析问题和解决问题的能力。 “Discrete Mathematics”, 4 credit and 72 class hours, is a compulsory course for under-graduated students of bio-medical engineering, computer science and bioinformation. The basic theory includes logic, relation, lgebraic system, and graph theory. Students can acquired the abilities of logic reasoning, abstract thinking by studing the project. The ability of solving problem in practice is also improved. 二、教学内容与要求 第一章 命题逻辑基本概念 【教学内容】 第一节 命题与联结词 第二节 命题公式及其赋值 【教学要求】 掌握命题联结词。 理解公式与赋值，掌握利用真值表求解公式真值、公式类型。 第二章 命题逻辑等值演算 【教学内容】 第一节 等值式 第二节 析取范式与合取范式 【教学要求】 1．? 掌握和基本等值式，利用等值式判断公式的等价性。 2．? 掌握求公式的析取范式与合取范式，利用范式的范式求公式的真值。 3．? 理解联结词的完备集。 第三章 命题逻辑的推理理论 【教学内容】 第一节??? 推理的形式结构 第二节??? 自然推理系统 【教学要求】 1．? 理解推理的形式结构，熟练掌握推理定律。 2．? 理解自然推理系统，熟练掌握推理规则。掌握证明中的附加前提证明法和规谬法。 第四章 一阶逻辑基本概念 【教学内容】 第一节??? 一阶逻辑基本概念 第二节??? 一阶逻辑公式及解释 【教学要求】 1．? 理解谓词逻辑，掌握谓词逻辑符号化。 2．? 理解谓词公式与解释，理解量词辖域的概念，在给定的解释辖判断公式的真值。 第五章 一阶逻辑等值演算与推理 【教学内容】 第一节? 一阶逻辑等值演算与置换规则 第二节? 一阶逻辑前束范式 第三节? 一阶逻辑的推理理论 【教学要求】??? 熟练掌握等值式：量词消去、量词否定、辖域收缩与扩张和量词分配。 2.??? 掌握谓词逻辑公式的前束范式。 3.??? 掌握重要的推理定律，掌握推理中的UI、UG、EG和EI规则，利用上述规则和 定律构造性的证明。 第六章 集合代数 【教学内容】 第一节? 集合的基本概念 第二节? 集合的运算 第三节? 集合恒等式 【教学要求】 第七章 二元关系 【教学内容】 第一节? 有序对与笛卡儿积 第二节? 二元关系 第三节? 关系的运算 第四节? 关系的性质 第五节? 关系的闭包 第六节? 等价关系与划分 第七节? 偏序关系 【教学要求】 1．? 掌握有序对与集合的笛卡儿积。 2．? 理解和掌握二元关系的定义。掌握关系的三种表达：集合表达式，关系矩阵表达 法和关系图表达法。 3．? 掌握关系的运算。特别理解和掌握逆关系、关系的复合。 4．? 理解和判断关系的五种性质：自反、反自反、对称、反对称和传递。 5．? 理解关系的闭包的概念，掌握构造关系闭包的方法。 6．? 理解和熟练掌握等价关系；解等价类和商集的定义；理解等价关系与划分的关系。 7．? 理解偏序关系和线序关系；理解覆盖的概念；理解和掌握偏序集中特殊元素。 第八章 函数 【教学内容】 第一节? 函数的定义与性质 第二节? 函数的复合与反函数 【教学要求】 1．? 理解和掌握函数的概念；熟练掌握函数的性质：满射、单射和双射；判定函数的性质。 2．? 掌握函数的复合；理解和求解反函数。 第九章 集合的基数 【教学内容】 第一节? 集合的等势与优势 第二节? 集合的基数 【教学要求】 理解等势，基数、可列集的概念 第十章 代数系统 【教学内容】 第