-
检查给定的关系不是是布尔代数
这个程序检查它适用于一组给定关系即是布尔代数或不。
为了验证,首先我们需要检查是否给定的一组是反身代词、 传递、 反对称或不。如果它满足上述三个,然后它被称为一个偏序的集合。
接下来,我们找到的最小、 最大的元素。此外我们发现最大的下界 [glb] 和最小上界 [滑] 如果它们存在的话。接下来,我们检查是否每一对中的关系的元素具有 glb 和滑。如果是的话,那么就被称为一个格子。
接下来,我们检查是否给定的格子是分布式和补充。如果是的话,那么就被称为布尔代数。
- 2022-02-14 07:17:32下载
- 积分:1
-
disk dom Source
his DOM implementation is just like your average DOM except that it can store the parsed node data to a file somewhere. Most DOM implementations store their parsed node data in RAM, meaning the the available RAM in the computer limits the size of the XML file that it can create or parse.
- 2022-04-21 04:28:36下载
- 积分:1
-
学生信息管理系统
学生信息管理系统框架已经搭建好,自己加需要的功能,基本的增删改查,以及登录功能都已经实现,各位可以根据需要自己添加新的功能.
- 2023-09-06 00:15:03下载
- 积分:1
-
json应用jar包
利用json处理相关数据的所有相关jar包,比较完整。
利用json处理相关数据的所有相关jar包,比较完整。
利用json处理相关数据的所有相关jar包,比较完整。
利用json处理相关数据的所有相关jar包,比较完整。
- 2022-12-07 19:45:03下载
- 积分:1
-
nuch1.9 eclipse
nutch1.9 eclipse开发环境,可以解压直接导入eclipse中。需要具备java的开发环境。
- 2022-01-31 18:25:15下载
- 积分:1
-
进销存系统基于Servlet/jsp
本系统是商户用于管理店铺库存而是用的,同过本系统商户可以方便的管理商品库存及其他一系列的问题。系统主要包括商品设置、价格设置、人员设置、进货管理、进货退货管理、数据统计、图形化展示。总之,通过该系统大大的方便了用户的管理。。。。。。
- 2022-09-14 17:55:03下载
- 积分:1
-
计费系统
在 java 中使用设计模式来创建超市统一计费系统计费系统。欢迎大家下载、试用。谢谢大家的支持!
- 2023-03-20 23:35:04下载
- 积分:1
-
脱机 kiwix 维基百科 & 更多
Kiwix 是一个脱机的读者为 Web 内容。它的特别被旨在使维基百科在脱机时可用。Kiwix,你可以享受维基百科上一艘船,身在何处...或在监狱里。Kiwix 管理办,通过阅读 ZIM 文件,高度压缩的开放格式,额外的元数据。
- 2022-03-07 09:40:17下载
- 积分:1
-
拼音操作处理
拼音操作工具类,包括(将字符串转换成拼音数组,将字符串转换成拼音数组,将单个字符转换成拼音,将汉字转换成拼音等 )
- 2023-05-18 07:45:02下载
- 积分:1
-
android经典页面特效
集成化的android页面特效。
包括九宫解锁,翻页特效,水波特效,旗帜特效,多种页面切换特效,等等。
非常值得收藏借鉴学习
- 2023-04-16 07:15:04下载
- 积分:1