命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。
标签： 逻辑 定理
上传时间： 2013-12-31
上传用户：wxhwjf
对C的指针进行了总结，编写成word文档
标签： 指针
上传时间： 2016-10-19
上传用户：顶得柱
think java 4th的精髓总结，java初学者可以
标签： think java 4th
上传时间： 2016-10-20
上传用户：xaijhqx
工程师枕边书。这个是工程师常用的一些公式还有一些重要的知识。很好的一本书。工学必备
标签： 工程师
上传时间： 2013-12-24
上传用户：tuilp1a
自己总结的java编程常用代码。。。。方便开发
标签： java 编程 代码
上传时间： 2016-10-24
上传用户：youlongjian0
一篇总结了当前大多数椭圆拟合方法的文章，并进行了深度分析，提出了改进的方法，适用于初学者进阶阅读。
标签： 椭圆
上传时间： 2016-10-25
上传用户：cuiyashuo
个人用CADENCE的经验总结,希望对大家有所裨益
标签： CADENCE 经验 家
上传时间： 2013-12-02
上传用户：sxdtlqqjl
CADEN里面差分线的使用总结 希望对新手有所帮助
标签： CADEN 差分 线的使用
上传时间： 2014-01-08
上传用户：王者A
C++常用数值算法 原代码 复化辛卜生公式
标签： 数值算法 代码
上传时间： 2016-10-26
上传用户：jkhjkh1982
总结了Java中一些常见的问题，对于解决Java编程有所帮助
标签： Java
上传时间： 2013-11-30
上传用户：zjf3110
