当前位置:兵器玩家科技软件 → 一键转帖:南莫尔1.0_Molle 1.0

软件名称:[B]南莫尔1.0_Molle 1.0[/B]
软件类型:国产软件
运行环境:Win9X/Win2000/WinXP/Win2003/
软件语言:简体中文
授权方式:共享版
软件大小:2.15 MB
官方主页:Home Page
更新时间:2013-02-25 18:16:00
软件简介:

南莫尔是一个跨平台的证明者,模态逻辑,利用模态的语义场面方法

MOLLE是模态逻辑发疯的评估程序。

MOLLE系统是一个跨平台的证明者用Java编写的,实现了Tableaux算法的K模态逻辑。南莫尔是能够生成例如和反模型,证明的神器出山:www.shenqi73.com有效性的模态方程式。

框架属性可以选择:自反财产已实施至今,和更多的属性将在短期内。我们的目标是让所有的模态逻辑为证明。

南莫尔拥有一个非常实用的图形界面和简单的公式语法。没有学习曲线,,南莫尔是非常适合为模态逻辑的教学和实践。


[url=http://www.sot9.com/soft/62816.html][B]南莫尔1.0_Molle 1.0[/B][/url]

点这里下载->南莫尔1.0_Molle 1.0 [ 下载地址 ]