《离散数学课程实验》大纲.doc

《离散数学课程实验》大纲 一、《离散数学课程实验》的地位与作用 ????《离散数学》是现代数学的一个重要分支，是计算机科学与技术专业的基础理论课，也是该专业的核心课程和主干课程。 “ 离散数学 ” 是计算机专业一门重要的专业基础课程，是计算机专业的一门核心的关键性课程。该课程一方面为后继课程如数据结构、编绎原理、操作系统、数据库原理、人工智能和形式语言与自动机等提供必要的理论基础；同时，更为重要的是培养学生的抽象思维能力和逻辑推理能力，为今后的学习和工作打好基础。无论从计算机学科发展的过去、现在和未来看，《离散数学》都是计算机科学与技术专业不可缺少的重要组成部分。这门课程有着其它课程不可替代的地位和作用，是一门承前启后的课程。????根据《离散数学》课程本身的理论性较强的特性，设置《离散数学课程实验》实践环节十分重要。通过实验实践内容的训练，突出逻辑性思维训练的特征 , 目的是提高学生学习的兴趣及实际动手的能力。实验学时为 8 。 二、《离散数学课程实验》的目的和要求 ????为了帮助学生更好地学习本课程，理解和掌握所学基本概念和方法，为整个专业学习打好基础，要求运用所学知识，上机解决一些典型问题。 熟练掌握等价式、永真式的判定和证明，掌握真值表技术等。????熟练掌握一阶逻辑的基本理论及应用。????熟练掌握有关集合运算等重点内容。????熟练掌握等价关系、相容关系、关系的有关运算的重点内容。????熟练掌握代数系统的一般概念、群、环、域等重点内容。 ????熟练掌握图论的 dijkstra 算法、 floyd 算法等图的经典算法及有关内容。 ????通过分析、设计、编码、调试等各环节的训练，使学生深刻理解、牢固掌握所学知识，培养分析、解决实际问题的能力。 ? 三、《离散数学课程实验》内容 ?实验一 真值计算: 实验目的：熟悉联结词合取、析取、条件和双条件的概念，编程求取真值。 实验内容：从键盘输入两个命题P和Q的真值，求它们的合取、析取、条件和双条件的真值。用C或MATLAB实现。 实验报告要求：列出实验目的、实验内容、实验步骤、源程序和实验结果。 实验二 关系闭包的计算: 实验目的：熟悉Warshall算法，掌握求关系的自反、对称、传递闭包的方法。 实验内容：从键盘输入一个关系的关系矩阵，计算其自反、对称和传递闭包，计算传递闭包时候采用Warshall算法。用C或MATLAB实现。 实验报告要求：列出实验目的、实验内容、实验步骤、源程序和实验结果 实验三 计算两结点间长度为m的路的数目： 实验目的：熟悉邻接矩阵和两结点间长度为m的路的数目的关系并编程实现。 实验内容：从键盘输入图的邻接矩阵和一正整数m，计算结点两两之间长度为m的路的数目。考虑有向图和无向图。用C或MATLAB实现。 实验报告要求：列出实验目的、实验内容、实验步骤、源程序和实验结果。 实验四 最优树的构造: 实验目的：熟悉最优树的构造算法，掌握最优树的构造过程。 实验内容：从键盘输入一组权值，构造对应的最优树，列出构造过程用。C或MATLAB 实现。 实验报告要求：列出实验目的、实验内容、实验步骤、源程序和实验结果 四、《离散数学课程实验》考核方式 ????采用上机情况、程序质量相结合的形式。 1. 上机情况（ 50% ） 包括出勤情况、上机纪律等。 2. 程序质量（ 50% ）