命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。
标签： 逻辑 定理
上传时间： 2013-12-31
上传用户：wxhwjf
JAVA实现的数据结构，非常全面，配套的书籍是机械工业出版社的<<JAVA 数据结构 第2版>>
标签： JAVA 数据结构
上传时间： 2016-10-31
上传用户：zhengjian
《java信息系统与开发实例》第二版，机械工业出版社，计算机专业,毕业java设计与开发实例,包括图书管理系统等多个实例。
标签： java 信息系统 开发实例
上传时间： 2016-11-03
上传用户：kikye
CCNA认证参考书，PDF高清 为机械工业出版社的书，
标签： CCNA
上传时间： 2013-12-17
上传用户：凌云御清风
控制机器人完成螺丝刀插孔实验，利用串口实现机械臂与二指夹持器的通讯。
标签： 控制 实验 机器人 螺丝刀
上传时间： 2014-12-19
上传用户：nanshan
鼠标自动点击器，一个很有用的免费小软件,如果你在平时的游戏或是工作中经常需要大量点击鼠标左键或右键，如果你喜欢玩网络游戏，RPG游戏，那么一定有大量点击鼠标的经验，非常浪费时间，浪费精力，消耗鼠标！这个小软件可以解放你的手指啦
标签： 鼠标 自动
上传时间： 2016-12-01
上传用户：fandeshun
斯坦福大学网络视频课程之机器人系统设计学讲义，这门课在斯坦福只有不到1万人学习过，计算机水平要求很高，这门课涉及到机器学习及机械设计等重要领域
标签： 斯坦福 大学 网络视频 机器人
上传时间： 2013-11-26
上传用户：weiwolkt
cp2512触摸按键的程序，手指接近，返回相应值，ATMEGA-64+CP2512。。CODEvisionAVR开发平台开发。
标签： 2512 cp 触摸按键 程序
上传时间： 2016-12-30
上传用户：heart520beat
使用很简单，如上图，用手写笔、手指或按键选择一个奥运场馆，单击或按回车按钮
标签：
上传时间： 2017-01-13
上传用户：kernaling
振动工具箱，用于机械振动理论的学习与基于matlab的编程
标签： 振动 工具箱
上传时间： 2014-01-02
上传用户：yzhl1988
