-
检查给定的关系不是是布尔代数
这个程序检查它适用于一组给定关系即是布尔代数或不。
为了验证,首先我们需要检查是否给定的一组是反身代词、 传递、 反对称或不。如果它满足上述三个,然后它被称为一个偏序的集合。
接下来,我们找到的最小、 最大的元素。此外我们发现最大的下界 [glb] 和最小上界 [滑] 如果它们存在的话。接下来,我们检查是否每一对中的关系的元素具有 glb 和滑。如果是的话,那么就被称为一个格子。
接下来,我们检查是否给定的格子是分布式和补充。如果是的话,那么就被称为布尔代数。
- 2022-02-14 07:17:32下载
- 积分:1
-
Eight queens puzzle
八皇后难题是放置八个象棋的问题;
- 2022-01-26 01:22:49下载
- 积分:1
-
进销存系统
各功能模块分析:基本资料维护模块
商品信息、供货商、客户、员工等基本参数的设置。
采购管理模块
进行商品采购入库、采购退货、进/退单据和当前库存查询、管理与供货商的往来情况。销售管理模块
进行商品销售、顾客退货、销/退单据和当前库存查询、管理与客户的往来情况。
库存管理模块
包括库存盘点功能和库存商品报警查询。
系统维护模块
包括用户资料、用户权限的维护及用户密码的修改。
报表打印模块
完整的统计查询功能,可以对商品材料、采购报表及年采购报表进行
- 2022-09-24 17:15:03下载
- 积分:1
-
安卓代码截屏
资源描述简单轻松的代码截屏效果可以轻松看懂里面的代码构造。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。
- 2022-06-16 20:17:09下载
- 积分:1
-
购物车
购物车应用程序允许客户查看和浏览在线销售的产品目录。客户从目录中划分一个项目并将其添加到购物车中。它基本上在顾客和店主之间建立了一个接口。它是电子商务web应用程序的核心部分,集成了网站的许多功能。它可以用任何语言写。
- 2023-07-13 05:05:05下载
- 积分:1
-
员工管理系统
本程序用jsp,servlet,css,js实现的简单的员工管理系统,界面容易了比较适合初学者参考, 里面程序,sql语句齐全,只需要配置好ojdbc.jar包就行。
- 2023-04-21 09:45:04下载
- 积分:1
-
adnroid加载Gif
这个是加载Gif的实例 在该程序中android可以加载Gif动画实现了循环播放实现了图片与Gif之间的切换没有自定义VIew 所以普通的文件也可以加载 希望对大家有用 谢谢大家
- 2022-03-15 13:38:59下载
- 积分:1
-
企业信息管理系统
本项目模拟企业日常管理,实现一个企业信息管理系统。该系统可以对客户信息、合同信息、售后服务、产品已经员工进行管理。项目中使用MySQL数据库。
- 2022-02-04 08:58:12下载
- 积分:1
-
RankSVM_using_linearmap
这是列表的 matrix.where 的排名开发应用程序在哪里我们茂盛我们将做的这段代码 matrix.where 的建立在 java 语言中的排名名单。排名图像
- 2022-05-29 16:36:51下载
- 积分:1
-
贪婪算法
这是贪婪算法的实现。
在这里以两种方式解决线切割问题。
一种方法是用第一种拟合方法选择的候选人和另一种是以与最佳拟合方法选择的候选人。
对您的谢意。
- 2022-08-12 23:08:21下载
- 积分:1