推理
推理技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
推理 热门资料
查看全部 500 份 →命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技...
2013-12-31
126
软件介绍1． 系统管理 1．1.菜单管理 1．2.权限管理 1．3 客户管理 1．4.推荐招聘 1．5.导航管理 1．6.级别管理 1．7.分类管理 2. 采购管理 2.1. 采购计
软件介绍1． 系统管理 1．1.菜单管理 1．2.权限管理 1．3 客户管理 1．4.推荐招聘 1．5.导航管理 1．6.级别管理 1．7.分类管理 2. 采购管理 2.1. 采购计划 2.２. 采购查询 3. 销售管...
2016-04-09
133
Oracle.PL.SQL.Programming.4th.Edition 学PL/SQL的我强烈推荐
Oracle.PL.SQL.Programming.4th.Edition 学PL/SQL的我强烈推荐，可惜是英文版的，顺便复习英语吧
2013-11-27
88