1.这个计算器可用在离散数学的数理逻辑中,纯属工具,随意传播,由java语言实现,解压即可运行,需要按照java环境。可以去这里下载运行环境:http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入,也可用相应的按钮输入,变元只能是PQRST。由于等价连接词无法识别,所以用等号代替,这也是一个无奈的选择。 4.计算前请选择变元个数(默认为3元)并对变元赋值。变元个数最高为5,基本能满足日常的计算。 5.计算器有自动检查表达式是否正确的功能,如果判断功能有误,麻烦您告诉我您的表达式。
上传时间: 2013-12-13
上传用户:txfyddz
small_c数学库, small c语言
上传时间: 2013-12-20
上传用户:1159797854
离散数学中求解二元关系2到100间的所有素数传递闭包的问题.
上传时间: 2015-09-13
上传用户:stampede
《遗传算法--理论、应用与软件实现》配套源程序 遗传算法——理论、应用与软件实现》,王小平、曹立明编着 西安交通大学出版社 2002年第一版本书全面系统地介绍了遗传算法的基本理论,重点介绍了遗传算法的经典应用和国内外的新发展。全书共分11章。第1章概述了遗传算法的产生与发展、基本思想、基本操作以及应用情况;第2章介绍了基本遗传算法;第3章论述了遗传算法的数学基础;第4章分析了遗传算法的多种改进方法;第5章初步介绍了进货计算理论体系;第6章介绍了遗传算法应用于数值优化问题;第7章介绍了遗传算法应用于组合优化问题;第8章介绍了遗传算法应用于机器学习;第9章讨论了遗传算法在智能控制中的应用;第10章讨论了遗传算法与人工生命研究的相关问题;第11章介绍了遗传算法在图像处理、模式识别中的应用。
上传时间: 2015-09-14
上传用户:shanml
Ma tla b 是当今使用最为广泛的数学软件,它具有相当强大的数值计算、数据处理、系统 分析、图形显示、甚至符号运算功能,是一个完整的数学平台,但是它不能实现端口操作和 实时控制Borland C + +Builder是一种新颖的可视化编程语言,可方便实现交互界面、数据 采集和端口操作等,但是它在数值处理分析和算法工具等方面,效率远远低于Matlab语言
上传时间: 2014-01-24
上传用户:牛津鞋
DSP数学函数库,是汇编写的,经过SEED优化过的
上传时间: 2014-11-10
上传用户:kikye
《游戏开发中应用的数学和物理入门教程》PDF格式
上传时间: 2015-09-15
上传用户:气温达上千万的
游戏和图形学的3D数学入门教程 3D Math Primer for Graphics and Game Development
标签: Development Graphics Primer Math
上传时间: 2015-09-15
上传用户:erkuizhang
初等数学隶属度 y用初等数学计算隶属度
标签: 计算
上传时间: 2015-09-15
上传用户:2467478207
闭环伺服系统传递函数和数学模型的研究,做电机伺服的可以看看
上传时间: 2014-11-28
上传用户:saharawalker