登录
首页 » Java开发 » 检查给定的关系不是是布尔代数

检查给定的关系不是是布尔代数

于 2022-02-14 发布 文件大小:2.11 kB
0 181
下载积分: 2 下载次数: 1

代码说明:

这个程序检查它适用于一组给定关系即是布尔代数或不。 为了验证,首先我们需要检查是否给定的一组是反身代词、 传递、 反对称或不。如果它满足上述三个,然后它被称为一个偏序的集合。 接下来,我们找到的最小、 最大的元素。此外我们发现最大的下界 [glb] 和最小上界 [滑] 如果它们存在的话。接下来,我们检查是否每一对中的关系的元素具有 glb 和滑。如果是的话,那么就被称为一个格子。 接下来,我们检查是否给定的格子是分布式和补充。如果是的话,那么就被称为布尔代数。

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • java简单分析DB2快照中的sql
    资源描述java统计分析DB2数据库快照中的sql语句,导入到excel表格中,排序即可分析出快照中最耗资源的sql。包含总时间、平均时间,总读取行数,平均读取行数等。
    2022-02-11 19:24:38下载
    积分:1
  • struts2 上传代码
    在Struts2,标签被用来创建一个HTML文件上传组件,允许用户选择文件从本地磁盘,并将其上传到服务器。在本教程中,您将创建文件上传组件JSP页面,设置最大尺寸和允许上传文件的内容类型,并显示上传文件的详细信息。
    2023-06-14 01:10:04下载
    积分:1
  • animal类的编写
    java入门练习,对封装继承等的巩固。对一些方法重写的熟悉。封装属性,子类继承父类的方法,通过getter和setter访问父类的私有对象。
    2022-06-28 17:14:27下载
    积分:1
  • JavaFrogger游戏公布的老游戏青蛙过河
    一个小游戏,在其中你必须穿过街道(摘要)和汽车(摘要)没有受到他们。 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报
    2022-03-12 09:40:09下载
    积分:1
  • tcpsend和tcpdump
    应用背景 ;传输控制协议(TCP) ;是一个核心协议 ; ;的 ;互联网协议套件。它起源于在初始网络的实现补充&nbs关键技术Java  ;(印尼:爪哇;爪哇:ꦗꦮ)是在印度尼西亚的一个岛屿。人口150000000,爪哇是印尼人口的百分之51,是世界上人口最多的岛屿。印尼首都雅加达位于西爪哇岛。大部分的印尼历史发生在爪哇。这是强大的印度教佛教帝国的中心,伊斯兰国家,和殖民地荷属东印度群岛的核心。爪哇是上世纪30年代和40年代的印尼独立斗争的中心,在政治、经济和文化方面占据着主导地位。
    2022-03-18 20:45:52下载
    积分:1
  • Recommended Exercise 2
    A debugger is a powerful tool that professional software developers rely on to locate errors in programs. The ability to view the contents of variables at various points in a program"s execution is a typical feature of debuggers. This feature makes a debugger especially useful when locating errors relating to the use of pointers.
    2022-02-07 14:54:40下载
    积分:1
  • 多张图片放大、缩小、移动、旋转
    资源描述 android 对多张图片放大、缩小、移动、旋转. android 对多张图片放大、缩小、移动、旋转 android 对多张图片放大、缩小、移动、旋转 android 对多张图片放大、缩小、移动、旋转 android 对多张图片放大、缩小、移动、旋转
    2023-05-17 07:45:03下载
    积分:1
  • Struts 例子
    Struts 例子
    2022-03-10 12:38:09下载
    积分:1
  • 对象跟踪
    示范如何执行对象跟踪上的桌面和 Android 设备的从实时视频流。跟踪的对象是跟踪对象在视频流,通常由用户或自动化的算法选择的过程。BoofCV (http://boofcv.org) 是一个开放源代码 Java 基于的计算机视觉库和用于提供跟踪算法。版本 0.17 具有以下建: 循环简单、 鲁棒性,但不是能恢复的轨道 http://home.isr.uc.pt/~henriques/circulant/ 检测跟踪学习 (TLD) 只长期跟踪算法在计算代价昂贵的 BoofCV 更多,可以是挑剔 http://personal.ee.surrey.ac.uk/Personal/Z.Kalal/tld.html 稀疏流只跟踪器中可以估计轮换 KLT 基于跟踪器的 BoofCV 可以是脆性 http://boofcv.org/javadoc/boofcv/alg/tracker/sfot/SparseFlowObjectTracker.html 均值漂移比赛的局部邻域 Comaniciu 直方图et。al.,"基于内核的对象跟踪"2003年均值漂移可能性极为迅猛,但只有当一个单一的颜色占主导地位的作品
    2023-01-15 05:30:04下载
    积分:1
  • VOIP SIPPHONE SIPDROID
    Sipdroid 是一款安卓操作系统使用的VoIP应用(互联网协议,VoIP),使用对话初始协议。 Sipdroid 是一款基于GNU通用公共许可下的开源免费软件。
    2022-05-23 21:35:43下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载