《形式化方法》

更新時間:2023-07-01 11:03:34

詞語	形式化方法
拼音	xínɡ shì huà fānɡ fǎ
書寫	形式化方法
解釋	把概念、判斷、推理轉(zhuǎn)化成特制的形式符號后，對形式符號表達系統(tǒng)進行研究的方法。它可以消除自然語言的歧義性、不通用性，為不同學科提供具有普遍適用性的共同邏輯形式，有利于揭示新聯(lián)系，導致新發(fā)現(xiàn)。

形式化方法造句

形式化方法造句
1、邏輯演算對推理形式有效性的研究，比傳統(tǒng)邏輯更抽象、更嚴格，其原因是形式化方法的運用。2、第五章對比了常用軟件測試方法，討論了形式化方法的基本概念、數(shù)學預備知識和形式化規(guī)約語言。3、基于霍爾的“通信順序進程”和相關(guān)的網(wǎng)絡(luò)形式化的理論研究結(jié)果，提出了一種網(wǎng)絡(luò)故障管理的形式化方法。查看詳情