当前位置:兵器玩家其它软件 → 一键转帖:LoTREC 2.0

软件名称:[B]LoTREC 2.0[/B]
软件类型:国产软件
运行环境:Win9X/Win2000/WinXP/Win2003/
软件语言:简体中文
授权方式:共享版
软件大小:19.3 MB
官方主页:Home Page
更新时间:2013-03-08 10:45:00
软件简介:

允许你测试逻辑的战略和公式。

LoTREC是一个画面定理证明的学生和研究人员,处理模态逻辑实现。

它可以让你创建一个逻辑定理,创建一组连接器,规则和策略。为了测试的逻辑式,将被用在所有的项目。

要求:

·相关 Java运行时

此版本中的神器出山:www.shenqi73.com新功能:

推出的Tableau制造商控制:停止,暂停/恢复模式的场面建设过程中给予用户更多的控制。因此,无限循环,可能引发不可预知的行为的一些规则组合,可以手动停止的用户。
·步骤分步运行模式:用户可以破发点上他们的规则,任何的子集,LoTREC将展示如何建立的模型应用给定的画面时,规则变化。
·新套路“applyOnce”:这个程序引入到前端调用给定的规则。事实上,当一个给定的规则应用上的部分画面,LoTREC寻找每一个图模式匹配规则的条件和适用规则的行动,对所有的模式相匹配。这就是为什么用户不能适用的规则只有一个匹配的模式,然后记住它的完成,为了不适用其他的模式相匹配。例如,当两个岛被发现在两个diffrent节点在同一时间,的规则创建继任者,将创建两个继承人和C ...


[url=http://www.sot9.com/soft/139519.html][B]LoTREC 2.0[/B][/url]

点这里下载->LoTREC 2.0 [ 下载地址 ]