2024年4月30日
Homework5
摘要： 形式化方法的定义： 形式化方法(Formal Methods)，在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较，找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结，推理中则是各个命题之间的联结，抽取出它们共同的形式结构；再引入表达形 阅读全文
posted @ 2024-04-30 23:38 Uiui· 阅读(33) 评论(0) 推荐(0)