咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >分元符的删除 收藏
分享

分元符的删除

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：1982年第Z1期

页      面：70-79页

学科分类：0401[教育学-教育学] 04[教育学] 

主　　题：定理证明器 BA RE UBI 归纳法 计算方法 函数符号 启发式法 引理 

摘      要：A.把劣项换成优项 当试图证明含有X—1的定理时(这里,变量X是一个已知为非0的数),一标准的窍门是,在任何有X的地方用Y+1替代。也就是说,在公式中先前提到X—1和X的地方,现在就提及Y和Y+1。这种把SUB1换成ADD1的方法使X一1和X之间的关系更为明显:将X

电子资源

读者评论 与其他读者分享你的观点

学校读者
用户名:未登录
我的评分