文件名称:WangHao
- 所属分类:
- 其它资源
- 资源属性:
- [Windows] [程序]
- 上传时间:
- 2008-10-13
- 文件大小:
- 1.28mb
- 下载次数:
- 0次
- 提 供 者:
- harve******
- 相关连接:
- 无
- 下载说明:
- 别用迅雷下载,失败请重下,重下不扣分!
介绍说明--下载内容均来自于网络,请自行研究使用
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理,但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论,这些还有赖于人的经验技巧和才能。1960年王浩提出的算法,可以完全脱离人的经验和技巧,机械地构造每一步推导,证明一个命题逻辑定理的成立。
(系统自动生成,下载前可以参看下载内容)
下载文件列表
压缩包 : 73462680wanghao.rar 列表 WangHao_07工学_20717013_赵修伟\lib\swt-win32-3236.dll WangHao_07工学_20717013_赵修伟\lib\swt.jar WangHao_07工学_20717013_赵修伟\WangHao.jar WangHao_07工学_20717013_赵修伟\run.bat WangHao_07工学_20717013_赵修伟\lib WangHao_07工学_20717013_赵修伟