文件名称:WangHao
-
所属分类：
- 标签属性：
- 上传时间：2008-10-13
-
文件大小：1.28mb
-
已下载：0次
-
提 供 者：
-
相关连接：无下载说明：别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容来自于网络，使用问题请自行百度
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。
(系统自动生成,下载前可以参看下载内容)
下载文件列表
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_赵修伟
www.dssz.com.txt
WangHao_07工学_20717013_赵修伟/lib/swt.jar
WangHao_07工学_20717013_赵修伟/WangHao.jar
WangHao_07工学_20717013_赵修伟/run.bat
WangHao_07工学_20717013_赵修伟/lib
WangHao_07工学_20717013_赵修伟
www.dssz.com.txt
本网站为编程资源及源代码搜集、介绍的搜索网站，版权归原作者所有！ 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.