-
检查给定的关系不是是布尔代数
这个程序检查它适用于一组给定关系即是布尔代数或不。
为了验证,首先我们需要检查是否给定的一组是反身代词、 传递、 反对称或不。如果它满足上述三个,然后它被称为一个偏序的集合。
接下来,我们找到的最小、 最大的元素。此外我们发现最大的下界 [glb] 和最小上界 [滑] 如果它们存在的话。接下来,我们检查是否每一对中的关系的元素具有 glb 和滑。如果是的话,那么就被称为一个格子。
接下来,我们检查是否给定的格子是分布式和补充。如果是的话,那么就被称为布尔代数。
- 2022-02-14 07:17:32下载
- 积分:1
-
layout
这个项目主要是介绍android中常用到的布局文件,对android入门是很好的借鉴(this is the list of layout )
- 2012-11-04 14:35:38下载
- 积分:1
-
图片声音俱全的坦克大战java版
多线程原理实现的坦克大战,java语言实现,面向对象思想比较突出,图片描绘了子弹、坦克以及障碍墙,并且配有start、fire音效,里面综合里javaSE的常见知识,适合初学者提升。
- 2022-08-19 03:57:02下载
- 积分:1
-
学生数据库
应用背景和公司;及;及;及;及;及;及;及;及;及;及。您可以添加、删除、更新和查看学生的记录;关键技术 ; ; ; ; ; ; ; ; ;它是Android数据库应用。在这个应用中,我们可以创建学生数据库
- 2022-07-18 01:49:49下载
- 积分:1
-
How to make splash
说明: 制作Android开机Splash.img镜像文件(Making an Android boot Splash.img image file)
- 2020-06-23 12:40:01下载
- 积分:1
-
Java实现简单文件编辑器
原创代码,可作为初学Java的菜鸟们一些参考用。
顺序读/写文件(FileInputStream与FileOutputStream)
⑴FileInputStream类从磁盘文件读取数据。常用的构造方法有:
◆FileInputStream(String name):打开文件name用来读取数据。
如:FileInputStream f =new FileInputStream("c:/test.txt");
◆FileInputStream(File file):打开文件file用来读取数据。
如:File f=new File("c:/test.txt");
FileInputStream f1=new FileinputStream(f);
◆将FileDescriptor对象作为其参数。
- 2022-03-12 11:52:22下载
- 积分:1
-
84564
Android的传感器系统,精选android项目书籍,很好有参考资料。(The sensor system Android, select Android project books, very good reference material.)
- 2013-12-04 08:49:42下载
- 积分:1
-
简单的购物系统
简单的购物系统 初学者可以看看 使用了几个jar包 文件可能比较大 呵呵 内容不是很多
- 2022-08-09 09:16:43下载
- 积分:1
-
视频录制 播放 上传服务器
视频录制 播放 上传服务器
- 2014-03-28下载
- 积分:1
-
产品防伪查询系统
资源描述产品防伪查询系统产品防伪查询系统产品防伪查询系统产品防伪查询系统产品防伪查询系统产品防伪查询系统
- 2022-06-30 13:03:44下载
- 积分:1