您当前位置：兵器玩家 → 软件下载 → 科技软件 → 数学原理II 0.00.53_Principia Mathematica II 0.00.53下载

数学原理II 0.00.53_Principia Mathematica II 0.00.53

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

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

数学原理II 0.00.53_Principia Mathematica II 0.00.53下载地址

数学原理II 0.00.53_Principia Mathematica II 0.00.53软件简介

谓词逻辑工具建立在Java

数学原理II被设计成一个简单而方便的工具，是能够一阶谓词逻辑和希尔伯特II的主要特点和功能。

数学原理II介绍了该项目的逻辑基础。它的工作原理（原型）QEDEQ模块文件在互联网上的神器出山:www.shenqi73.com任何位置。

的协议HTTP和FTP的使用，也可以指定本地文件。后输入一个URL一个QEDEQ模块的本地文件缓冲器被搜索。

如果没有被发现，所要求的QEDEQ文件的下载指定的文件的URL开始，结果将保存在本地文件缓冲。

事后QEDEQ模块被加载和检查正式正确性。如果的其他QEDEQ模块中引用这些也被加载。

直到所有必要的QEDEQ模块被成功加载，并检查了最初指定的QEDEQ模块得到它的“绿色正确性”。在一个错误的情况下，问题的详细说明，并给出问题的位置显示在相应的模块。