集合运算实验报告离散数学

大连民族学院

计算机科学与工程学院实验报告

实验题目： 关系部分实验 课程名称： 离散数学 实验类型：□演示性 □验证性 □操作性 □设计性 ■综合性 专业： 网络工程 班级： 102 班 学生姓名：隋玉兴 学号：2010083220

实验日期：2011 年 12 月 25 日 实验地点：五机房 实验学时： 实验成绩：

指导教师签字： 年 月 日

一．实验目的

本实验课程是信息专业学生的一门专业基础课程，通过实验，帮助学生更好地掌握计算机科学技术常用的离散数学中的概念、性质和运算；通过实验提高学生编写实验报告、总结实验结果的能力；使学生具备程序设计的思想，能够独立完成简单的算法设计和分析。

熟悉掌握命题逻辑

离散数学实验报告

姓名： 学号： 专业：

实验一、真值运算

一、实验内容

从键盘输入两个命题P和Q的真值，求它们的合取、析取、条件和双条件的真值，并输出。 二、实验步骤

编写程序，将P,Q以不同真值带入，观察程序运行结果，调式程序。 三、实验代码

#include int main() {

int p,q; char t; while(t) {

printf(\是否运算程序(y/n):\\n\scanf(\if('y'==t) {

printf(\输入p,q的真值(0或1):\scanf(\if((p!=1)&&(p!=0)) {

printf(\请重新输入p值\

}

scanf(\

if((q!=1)&&(q!=0)) { }

if(q==0&&p==0) { }

else if(p==0&&q==1) {

printf(\﹁p=1\\n\printf(\﹁q=0\\n\printf(\∧q=0\\n\printf(\∨q=1\\n\printf(\→q=1\\n\printf(\﹁p=1\\n\printf(\﹁q=1\\n\printf(\∧q=0\\n\p

离散数学实验报告

姓名： 学号： 专业：

实验一、真值运算

一、实验内容

从键盘输入两个命题P和Q的真值，求它们的合取、析取、条件和双条件的真值，并输出。 二、实验步骤

编写程序，将P,Q以不同真值带入，观察程序运行结果，调式程序。 三、实验代码

#include int main() {

int p,q; char t; while(t) {

printf(\是否运算程序(y/n):\\n\scanf(\if('y'==t) {

printf(\输入p,q的真值(0或1):\scanf(\if((p!=1)&&(p!=0)) {

printf(\请重新输入p值\

}

scanf(\

if((q!=1)&&(q!=0)) { }

if(q==0&&p==0) { }

else if(p==0&&q==1) {

printf(\﹁p=1\\n\printf(\﹁q=0\\n\printf(\∧q=0\\n\printf(\∨q=1\\n\printf(\→q=1\\n\printf(\﹁p=1\\n\printf(\﹁q=1\\n\printf(\∧q=0\\n\p

离 散 数 学 实 验 报 告

姓名： 学号： 班级：

离散数学实验报告

实验一 真值计算

实验内容：

从键盘输入两个命题P和Q的真值，求它们的合取、析取、条件和双条件的真值。用C语言实现。

实验源程序和运行结果如下： #include \void main() {

char p,q,t; int p1,q1;

cout<<\输入p,q的真值(F或T)\cin>>p>>q; if(p=='F') p1=0; else p1=1; if(q=='F') q1=0; else q1=1;

//下面进行为运算 if(p1|q1) t='T'; else t='F';

cout<<\析取q为\if(p1&q1) t='T'; else t='F';

cout<<\和取q为\if((!p1)|q1) t='T'; else t='F';

cout<<\条件q为\if(p1==q1) t='T'; else t='F';

cout<<\双条件q为\}

实验二 关系闭包计算

实验内容：

从键盘输入一个关系的关系矩阵，计算其自反闭包、对称闭包和传递闭包，传递闭包要求使用两种算法，即R+和Warshall算法。用C语言实现。

实验源程序运行结果如下： #include int he(int,int); void main() {

int

a[100][100],b[100][100

离散数学四大核心：代数系统、集合论、数理逻辑、图论。

第二篇 集合与关系

集合论是现代各科数学的基础，它是德国数学家康托（Geog Cantor, 1845～1918）于1874年创立的，1876～1883年康托一系列有关集合论的文章，对任意元的集合进行了深入的探讨，提出了关于基数、序数和良序集等理论，奠定了集合论深厚的基础，19世纪90年代后逐渐为数学家们采用，成为分析数学、代数和几何的有力工具。

随着集合论的发展，以及它与数学哲学密切联系所作的讨论，在1900年前后出现了各种悖论，使集合的发展一度陷入僵滞的局面。1904～1908年，策墨罗（Zermelo）列出了第一个集合论的公理系统，它的公理，使数学哲学中产生的一些矛盾基本上得到了统一，在此基础上以后就逐渐形成了公理化集合论和抽象集合论，使该学科成为在数学中发展最为迅速的一个分支。

现在，集合论已经成为内容充实、实用广泛的一门学科，在近代数学中占据重要地位，它的观点已渗透到古典分析、泛函、概率、函数论、信息论、排队论等现代数学各个分支，正在影响着整个数学科学。集合论在计算机科学中也具有十分广泛的应用，计算机科学领域中的大多数基本概念和理论几乎均采用集合论的有关术语来描述和论证，成为计算机科

离散数学四大核心：代数系统、集合论、数理逻辑、图论。

第二篇 集合与关系

集合论是现代各科数学的基础，它是德国数学家康托（Geog Cantor, 1845～1918）于1874年创立的，1876～1883年康托一系列有关集合论的文章，对任意元的集合进行了深入的探讨，提出了关于基数、序数和良序集等理论，奠定了集合论深厚的基础，19世纪90年代后逐渐为数学家们采用，成为分析数学、代数和几何的有力工具。

随着集合论的发展，以及它与数学哲学密切联系所作的讨论，在1900年前后出现了各种悖论，使集合的发展一度陷入僵滞的局面。1904～1908年，策墨罗（Zermelo）列出了第一个集合论的公理系统，它的公理，使数学哲学中产生的一些矛盾基本上得到了统一，在此基础上以后就逐渐形成了公理化集合论和抽象集合论，使该学科成为在数学中发展最为迅速的一个分支。

现在，集合论已经成为内容充实、实用广泛的一门学科，在近代数学中占据重要地位，它的观点已渗透到古典分析、泛函、概率、函数论、信息论、排队论等现代数学各个分支，正在影响着整个数学科学。集合论在计算机科学中也具有十分广泛的应用，计算机科学领域中的大多数基本概念和理论几乎均采用集合论的有关术语来描述和论证，成为计算机科

第二篇 集合与关系

集合论是现代各科数学的基础，它是德国数学家康托（Geog Cantor, 1845～1918）于1874年创立的，1876～1883年康托一系列有关集合论的文章，对任意元的集合进行了深入的探讨，提出了关于基数、序数和良序集等理论，奠定了集合论深厚的基础，19世纪90年代后逐渐为数学家们采用，成为分析数学、代数和几何的有力工具。

随着集合论的发展，以及它与数学哲学密切联系所作的讨论，在1900年前后出现了各种悖论，使集合的发展一度陷入僵滞的局面。1904～1908年，策墨罗（Zermelo）列出了第一个集合论的公理系统，它的公理，使数学哲学中产生的一些矛盾基本上得到了统一，在此基础上以后就逐渐形成了公理化集合论和抽象集合论，使该学科成为在数学中发展最为迅速的一个分支。

现在，集合论已经成为内容充实、实用广泛的一门学科，在近代数学中占据重要地位，它的观点已渗透到古典分析、泛函、概率、函数论、信息论、排队论等现代数学各个分支，正在影响着整个数学科学。集合论在计算机科学中也具有十分广泛的应用，计算机科学领域中的大多数基本概念和理论几乎均采用集合论的有关术语来描述和论证，成为计算机科学工作者必不可少的基础知识。集合论可作为数学学

《离散数学》实验报告

实验一：最短路径算法实现

姓 名： 李亚鸣 学 号： 2014211590

班 级： 计算机科学与技术14-1班 实验地点： 三号实验楼1号机房 实验时间： 2015年9月26日

《离散数学》实验报告

1 实验目的和要求

实验目的：深刻理解图论中两点之间最短路径求解的相关算法；并借助提供的实验平台完成编码，实现最短路径输出 ************* *************

理解Dijkstra算法实现最短路径算法，并利用所提供的MFC代码图形化显示。 初步了解部分基础MFC知识。

实验要求：

(1)理解Dijkstra算法并编码实现图中某一顶点到其它顶点最短路径的求解； (2)理解Floyd-Warshall算法并编码实现图中任意两顶点之间最短路径的求解；

(3)可以写对编程的要求

(4)在待完善的MFC代码上补充Dijkstra算法的核心部分，并在图形上实现。 实验目的和要求必须在此基础上修改或补充，否

离散数学实验报告

专业班级：12级计算机本部一班 姓名：鲍佳珍 学号： 201212201401016 实验成绩： 1．【实验题目】

命题逻辑实验三

2．【实验目的】

加深对五个基本联结词（否定、合取、析取、条件、双条件）的理解、掌握利用基本等价公式化简公式的方法。

3．【实验内容】

用化简命题逻辑公式的方法设计一个表决开关电路。

4、【实验要求】

C或C＋＋语言编程实现

5. 【算法描述】

（1）写出5人表决开关电路真值表，从真值表得出5人表决开关电路的主合取

公式（或主析取公式），将公式化简成尽可能含五个基本联结词最少的等价公式。 （2）上面公式中的每一个联结词是一个开关元件，将它们定义成C语言中的函数。

（3）输入5人表决值（同意为1，不同意为0），调用上面定义的函数，将5人表决开关电路真值表的等价公式写成一个函数表达式。

（4）输出函数表达式的结果，如果是1，则表明表决通过，否则表决不通过。

6. 【源程序（带注释）】 #include

int show(int a,int b,int c,int d,int e);//声明一个函数 int main() {

int a,b,c,d,e;

in

第二篇 集合与关系

集合论是现代各科数学的基础，它是德国数学家康托（Geog Cantor, 1845～1918）于1874年创立的，1876～1883年康托一系列有关集合论的文章，对任意元的集合进行了深入的探讨，提出了关于基数、序数和良序集等理论，奠定了集合论深厚的基础，19世纪90年代后逐渐为数学家们采用，成为分析数学、代数和几何的有力工具。

随着集合论的发展，以及它与数学哲学密切联系所作的讨论，在1900年前后出现了各种悖论，使集合的发展一度陷入僵滞的局面。1904～1908年，策墨罗（Zermelo）列出了第一个集合论的公理系统，它的公理，使数学哲学中产生的一些矛盾基本上得到了统一，在此基础上以后就逐渐形成了公理化集合论和抽象集合论，使该学科成为在数学中发展最为迅速的一个分支。

现在，集合论已经成为内容充实、实用广泛的一门学科，在近代数学中占据重要地位，它的观点已渗透到古典分析、泛函、概率、函数论、信息论、排队论等现代数学各个分支，正在影响着整个数学科学。集合论在计算机科学中也具有十分广泛的应用，计算机科学领域中的大多数基本概念和理论几乎均采用集合论的有关术语来描述和论证，成为计算机科学工作者必不可少的基础知识。集合论可作为数学学