您当前位置：兵器玩家 → 软件下载 → 科技软件 → ProofDisplay 2.0 Beta版_ProofDisplay 2.0 Beta下载

ProofDisplay 2.0 Beta版_ProofDisplay 2.0 Beta

运行环境：WinXP/Win7/Win8/Win10/Win All
软件语言：简体中文
软件类型：国产软件 - 科技软件
授权方式：共享版
软件大小：4.39 MB
推荐星级：
解压密码：
联系方式：暂无联系方式
插件情况：
图片预览： 　
更新时间：2013-02-25 18:16:00
下载统计：

好的评价　如果您觉得好，就请您
100%(25)
差的评价　如果您觉得差，就请您
0%(0)

ProofDisplay 2.0 Beta版_ProofDisplay 2.0 Beta下载地址

ProofDisplay 2.0 Beta版_ProofDisplay 2.0 Beta软件简介

最新发布的相关软件：

ProofLocker 1.1

proofSIGN 1.9.6

ProofGoogler

ProofPlus 1.0

ProofDisplay 2.0 Beta版_ProofDisplay 2.0 Beta

ProofMaster加4.0.2构建3471_ProofMaster Plus 4.0.2 build 3471

一个丰富的图形界面，用于进行交互APROS

APROS正常经典句子和谓词逻辑的自然演绎证明在使用的插层的方法来搜索。该方法已适应直观，最小的逻辑，集合理论和形式化的元数学在小学进行搜索。

金琛提出的神器出山:www.shenqi73.com自然扣除结石的逻辑工具，捕捉，相当直接，通过证明人类是如何的原因。最独特的是，他们允许，推理与假设和引进以及消除规则的逻辑连接词。利用插层法的基本思想，消除规则允许的分解复杂的公式和引进规则允许建立复杂的系统。

APROS的搜索过程中实现最鲜明的特点是，证明可以分开建设的战略分为三个不同的模块：提取或目标导向使用的排除规则，倒置或向后引进规则的使用，最后，使用间接论证。

，在ProofDisplay可以查看的证明和在搜索多种格式的每一步。

自动搜索工具，经典和直观的一阶逻辑证明。使用相关APROS证明搜索引擎。

获得ProofDisplay，并给它一个尝试，看看它的所有关于