离散数学实验报告

离散数学实验报告Tag内容描述：<p>1、离散数学实验报告1ABC“离散数学”实验报告(实验1ABC)专 业 班 级 学 号 姓 名 日期：2011.12.05目录一、实验目的3二、实验内容3三、实验环境3四、实验原理和实现过程（算法描述）31、实验原理32、实验过程4五、实验数据及结果分析7A题型7B、C题型9六、源程序清单13A题部分源代码13B、C题部分源代码14七、其他收获及体会22一、实验目的熟悉掌握命题逻辑中的联接词、真值表、主范式等，进一步能用它们来解决实际问题。二、实验内容1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A）2. 求任意一个命题公。</p><p>2、离散数学实验报告2AC“离散数学”实验报告(实验2AC)专 业 班 级 学 号 姓 名 日期：2011.12.12目录一、实验目的3二、实验内容3三、实验环境3四、实验原理和实现过程（算法描述）3A题型3C题型4五、实验数据及结果分析7A题型7B题型9六、源程序清单11A题型11B题型12七、其他收获及体会18一、实验目的掌握关系的概念与性质，基本的关系运算，关系的各种闭包的求法。理解等价类的概念，掌握等价类的求解方法。二、实验内容1. 求有限集上给定关系的自反、对称和传递闭包。（有两种求解方法，只做一种为A，两种都做为B）2. 求有限集上等价关系的。</p><p>3、离散数学实验报告学 院 专 业 指导教师 学 号 姓 名 提交日期 实验二 命题公式的等值演算与真值表一.实验目的熟悉逻辑运算否定、合取、析取、蕴含、等价规则，利用程序语言实现命题公式的真值表运算，使其与命题的等值演算结果相同。二.实验内容（一）预测比赛名次写出下列题目的命题公式，并应用程序语言实现命题公式的真值表以求解问题。 有四人参加百米赛跑，观众甲、乙、丙预测比赛的名次为：甲说： C第一，B第二；乙说： C第二，D第三；丙说： A第二，D第四；比赛结束后发现甲、乙、丙每人的预测都只对一半，试问实际名次如何(假定没。</p><p>4、离散数学二元关系传递性判别、闭包方法实验报告学院：理学院 班级：11信息与计算科学1班 姓名：* 学号：*一、 实验目的1. 通过上机程序，进一步加深对二元关系传递性判别，自反闭包，对称闭包，传递闭包的理解。 2. 掌握传递性判别，Warshall算法。 3. 学会用程序解决离散数学中的问题。 4. 增强我们编写程序的能力二、 实验内容 实验1：二元关系传递性判别实验2：有限集上给定关系的自反、对称和传递闭包（用Warshall算法）。 三、 实验环境 在microsoft visual c+实验环境下完成的，而所设计的程序也在这个环境下通过了编译，运行和测试。</p>