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

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >重言式核对器的正确性 收藏
分享

重言式核对器的正确性

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

年 卷 期：1982年第Z1期

页      面：30-49页

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

主　　题：表达式 范式 形式定义 赋值 定理证明器 重言式 

摘      要：在介绍如何证明刚才所述理论中的定理之前,读者熟悉理论本身很重要。此外,从头至尾地看一遍某些困难定理的证明,让读者对其后各章要介绍的内容有个感性认识亦有用。最后,不熟悉机械定理证明的读者,可能非常想看一看我们如何机械地证明定理。因在介绍我们的证明技术之前,这三项目标都应论述,故

电子资源

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

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