《如何理解自动理论证明系统在系统设计上的应用.docx》由会员分享，可在线阅读，更多相关《如何理解自动理论证明系统在系统设计上的应用.docx（1页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
自动理论证明系统（AutomatedTheor6mproving）的应用有定理证明，这点无需多言，另 外，其还有在软件、硬件系统上的设计作用，那么这个为什么呢？我在这里谈一下我的一些 理解。我们来举个例子，假设我想做一张桌子，并且我会焊接，而且我有足够的资金，那么交 给自动理论证明系统的来做的话，那么就是：1 .你需要购买一些不锈钢钢材。a）不锈钢钢材可以去五金店购买。2 .你需要学会焊接。a）已知事实：我会焊接。3 .我需要电焊机。a）如果你没有电焊机的话：1. 你需要购买电焊机.已知事实：你有足够的资金。b）如果有：1. 什么都不需要做。通过模型的证明，我们就会知道，我自己做一张桌子是可行的，这中可行性分析，便是 自动理论证明系统在软硬件系统上设计的作用（把桌子换成别的软硬件即可）：可行性 分析与评估。通过上面的证明，我们可以从“我会焊接，而且我有足够的资金”这两个条件得到满足 “我想做一张桌子”的三大条件（假设就是这几个条件），所以，“我想做一张桌子”是 可行的，放到数学上来说，就是该推测（conjecture）成立。