软件名称：[B]数学原理II 0.00.53_Principia Mathematica II 0.00.53[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：1.00 KB
官方主页：Home Page
更新时间：2013-02-25 18:16:00
软件简介:

谓词逻辑工具建立在Java

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

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

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

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

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

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

要求：

路的Java

[url=http://www.sot9.com/soft/68401.html][B]数学原理II 0.00.53_Principia Mathematica II 0.00.53[/B][/url]

点这里下载->数学原理II 0.00.53_Principia Mathematica II 0.00.53 [ 下载地址 ]