1.这个计算器可用在离散数学的数理逻辑中,纯属工具,随意传播,由java语言实现,解压即可运行,需要按照java环境。
可以去这里下载运行环境:http://www.skycn.com/soft/3116.html2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。
3.输入表达式时可以在表达式栏中输入,也可用相应的按钮输入,变元只能是PQRST。
由于等价连接词无法识别,所以用等号代替,这也是一个无奈的选择。
4.计算前请选择变元个数(默认为3元)并对变元赋值。
变元个数最高为5,基本能满足日常的计算。
5.计算器有自动检查表达式能否正确的功能,如果判断功能有误,麻烦您告诉我您的表达式。
作者qq:86143838email:qiaomuf@163.com
2018/5/21 17:08:33 6.79MB java swt 开源 离散
1
本书从云基础知识、云应用编程和云平台三个方面,引见云计算的起源、发展、核心技术、编程技巧和实际应用,基于Aneka平台详细讲解并行计算、高吞吐量计算和数据密集型计算的范式。
此外,还涉及亚马逊Web服务、谷歌AppEngine和微软Azure三大云平台,以及云计算在科学、工程、游戏、社交等领域的最新应用。
2019/3/12 10:43:47 75.25MB 云计算 虚拟化
1
matlab完成一维和二维离散小波变换,以及小波的重构,同时有代码完成的截图和各种系数重构的二范式比较
2018/2/7 18:16:28 1.97MB 离散小波变换 小波的重构 matlab
1
L1Magic程序使用阐明使用示例相关论文,求解L1范式的工具包,稀疏恢复
2020/8/24 5:28:52 6.12MB L1magi 程序 使用说明 使用示例
1
建设数据模型既然是整个数据仓库建设中一个非常重要的关键部分,那么,怎么建设我们的数据仓库模型就是我们需要解决的一个问题。
这里我们将要详细介绍如何创建适合自己的数据模型。
大千世界,表面看五彩绚丽,实质上,万物都遵循其自有的法则。
数据仓库的建模方法同样也有很多种,每一种建模方法其实代表了哲学上的一个观点,代表了一种归纳,概括世界的一种方法。
目前业界较为流行的数据仓库的建模方法非常多,这里主要介绍范式建模法,维度建模法,实体建模法等几种方法,每种方法其实从本质上讲就是从不同的角度看我们业务中的问题,不管从技术层面还是业务层面,其实代表的是哲学上的一种世界观。
我们下面给大家详细介绍一下这些建模方法。
2021/5/13 3:28:34 893KB 数据仓库多维数据模型设计
1
针对逻辑可满足的求解算法walksat的算法c言语实现。
包括了CNF范式的文件。
2022/9/3 13:08:49 4.49MB walksat
1
适合自学大数据,文档详细,涉及到Oracle数据库SQLplsql.Linux零碎常用命令大数据:hadoophiveshell脚本大数据搬运工具:sqoop,ketlle.调度工具:azkaban,可视化软件使用:帆软数据仓库设计理论,数仓建模,三范式等;
2015/9/6 13:03:32 10.11MB 数据库 Oracle Hadoop Linux
1
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡