离散数学实验报告_第1页
离散数学实验报告_第2页
离散数学实验报告_第3页
离散数学实验报告_第4页
离散数学实验报告_第5页
已阅读5页，还剩6页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

实验一命题逻辑推理1.实验用例根据下面的命题，试用逻辑推理方法确定谁是作案者，写出推理过程（1）营业员A或B偷了手表（2）若A作案，则作案不在营业时间

（3）若B提供的证据正确，则货柜末上锁

（4）若B提供的证据不正确，则作案发生在营业时间（5）货柜上了锁2.实验目的加深对命题逻辑推理方法的理解3.实验内容用命题逻辑推理的方法解决逻辑推理问题4.实验原理和方法（1）符号化上面的命题，将它们作为条件，营业员A偷了手表作为结论，得一个复合命题（2）将复合命题中要用到的联结词定义成C语言中的函数，用变量表示相应的命题变元。将复合命题写成一个函数表达式（3函数表达式中的变量赋初值1如果函数表达式的值为1则结论有效A偷了手表，否则是B偷了手表用命题题变元表示A:营业员A偷了手B:营业员B偷了手C:作案不在营业时D:B提供的证据正E:货柜末上则上面的命题符号化(A||B)&&(!A||C)&&(!D||E)&&(D||!C)&&!E要求找到满足上面式子的变A，B的指派便是结果。

5．实验代码6．实验结果B偷了手

实验二关系的运用1.实验原理和方法在三种闭包中自反和对称闭包的求解很容易对矩阵表示的关系包只要将矩阵的主对角线全部置为1就可对称闭包则加上关系的转置矩辑加法2．实验代码

5．实验结果1自反闭传递闭对称闭包

实验三图论1.实验用例如下图所示的赋权图表示某七个城及预先算出它们之间的一些直接通信成路造价（单位：万元，试给出一个设计方案，使得各城市之间既能够通信又使总造价最小并计算其最小. 2实验原理和方法为了求解最小代价使花费的总代价最小这是数学中经典的求解最小耗费生成树的算法其核心思想是寻找每一步的最优解继而求得全局最优解为了求得最小耗费生成树，我们运用数学中经典的Krusa算法，此算法的核心思想是：1假设该图G是不连通的，对该图的边以非降序权重新排列2对于排序表中的每条边，如果现在把它放入T不会形成回路的话，则把它加入到生成树T中；否则丢弃3输出最小生成树的结果，得到我们想要的答案

3．实验代码

4．实验结果因而最后求得的最小耗费是：此时的最小耗费是23+1+4+9+3+17=5（万元

实验四最优二叉树在通信编码中的应用1.实验内容输入一组通信符号的使用频率，求各通信符号对应的前缀码2.实验原理和方法（1组得每个通信

人人文库> 全部分类> 应用文书 > 技术指导

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论