手绘思维导图软件iMindMap_思维导图软件_逍遥右脑记忆论坛

离线倚楼听风雨

回复两贴升级

只看该作者 1125楼发表于: 2012-07-13

回楼主(路逍遥) 的帖子

很想学习，请教了。但是不知道怎么下载，以前也学习过一点，但是学的不好。···················

离线jtemp

回复两贴升级

只看该作者 1126楼发表于: 2012-07-13

有没有版本6的汉化？这个和MindManager相比哪个好呢？

离线wjlfy

回复两贴升级

只看该作者 1127楼发表于: 2012-07-13

顶等等等等等等等等等等等等等等等等等等等等等等等等等等等等等

离线a8907365

右脑幼儿园

只看该作者 1128楼发表于: 2012-07-13

回楼主(路逍遥) 的帖子

老大，下的5.4版本出现找不到主要类别啊！

离线a719052378

右脑幼儿园

只看该作者 1129楼发表于: 2012-07-13

好贴谢谢楼主的辛苦劳动支持一下

离线ff111111

回复两贴升级

只看该作者 1130楼发表于: 2012-07-13

henxiangkkhenxiangkkhenxiangkkhenxiangkkhenxiangkk

离线lnwxzby

右脑幼儿园

只看该作者 1131楼发表于: 2012-07-13

顶顶顶顶顶顶顶顶顶顶顶顶顶

离线tan0kee

回复两贴升级

只看该作者 1132楼发表于: 2012-07-13

5555555555555555555555555555544444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444我设想将来可能会有这样的辅助证明系统，它是基于一个数学知识库的。在这个知识库里，描述了概念之间的关系、概念与数学命题的关系，以及数学命题之间的关系。对于一个给定的新命题，我们可以利用已有的信息，提供给证明者一个关系图，并给出一个带概率的可能证明路径。这样的系统不同于以往的确切的机器证明，它更富有弹性，更贴近我们人类的思维方式