1.这个计算器可用在离散数学的数理逻辑中,纯属工具,随意传播,由java语言实现,解压即可运行,需要按照java环境。可以去这里下载运行环境:http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入,也可用相应的按钮输入,变元只能是PQRST。由于等价连接词无法识别,所以用等号代替,这也是一个无奈的选择。 4.计算前请选择变元个数(默认为3元)并对变元赋值。变元个数最高为5,基本能满足日常的计算。 5.计算器有自动检查表达式是否正确的功能,如果判断功能有误,麻烦您告诉我您的表达式。
上传时间: 2013-12-13
上传用户:txfyddz
离散数学中求解二元关系2到100间的所有素数传递闭包的问题.
上传时间: 2015-09-13
上传用户:stampede
离散算法,硕士论文一部分,希望对大家有所帮助。
上传时间: 2015-09-14
上传用户:onewq
tfrpwv是计算离散信号X的Wigner-Ville分布.Tfrspwv是计算离散信号X的平滑伪Wigner-Ville分布.
标签: Wigner-Ville Tfrspwv tfrpwv 计算
上传时间: 2013-12-12
上传用户:zhuimenghuadie
离散数学中关系的闭包运算,包括自反闭包,对称闭包,传递闭包
上传时间: 2014-01-19
上传用户:zhanditian
离散粒子群算法(Discrete PSO)C语言源代码。 附带有利用D-PSO解决旅行商问题(TSP)的代码可作为使用时的Demo参考
上传时间: 2014-01-24
上传用户:
用vc编写的实现密码学中Pollard p离散对数算法的小程序。
上传时间: 2013-12-27
上传用户:wfeel
用Matlab编写的求解高斯线型随机差分方程的离散扩展卡尔曼滤波程序。
上传时间: 2013-12-20
上传用户:gxrui1991
提出了一种离散小波变换域实现图像水印的方法。这种算法充分利用小波变换的特点,把原始图像及水印图像塔式分解,在多分辨率分解后的相同的频段来嵌入水印信息。该方法也利用了人眼视觉特性,算法简单而有效。实验证明,该算法较好地解决了水印不可见性与鲁棒性之间的矛盾,对常见的水印攻击都有较强的鲁棒性。
上传时间: 2014-11-02
上传用户:lo25643
复杂形体建模与绘制的离散方法研究【浙大博士学位论文】,对于图形学研究具有很高的参考价值
上传时间: 2015-09-27
上传用户:qq1604324866