| 詞語 | 形式化方法 |
| 拼音 | xínɡ shì huà fānɡ fǎ |
| 書寫 | 形 式 化 方 法 |
| 解釋 |
把概念、判斷、推理轉化成特制的形式符號后，對形式符號表達系統進行研究的方法。它可以消除自然語言的歧義性、不通用性，為不同學科提供具有普遍適用性的共同邏輯形式，有利于揭示新聯系，導致新發現。 |
《形式化方法》
更新時間:2023-07-01 11:03:34
形式化方法造句
與“形式化方法”相關的信息
精品推薦
- 惠農區05月30日天氣:晴轉小雨，風向：無持續風向，風力：<3級轉3-4級，氣溫：29/16℃
- 茫崖05月30日天氣:晴，風向：西北風，風力：3-4級轉<3級，氣溫：17/8℃
- 同德縣05月30日天氣:小雨，風向：東風，風力：<3級，氣溫：22/7℃
- 濱?？h05月30日天氣:多云轉陰，風向：東北風，風力：<3級，氣溫：22/17℃
- 白沙縣05月30日天氣:多云，風向：無持續風向，風力：<3級，氣溫：33/23℃
- 隴南市05月30日天氣:多云轉小雨，風向：東北風，風力：<3級，氣溫：30/20℃
- 廈門市12月01日天氣:多云，風向：東北風，風力：4-5級，氣溫：19/14℃
- 尖扎縣05月30日天氣:小雨轉中雨，風向：東風，風力：<3級，氣溫：25/11℃
- 甘德縣05月30日天氣:小雨轉多云，風向：南風，風力：3-4級轉<3級，氣溫：18/2℃
- 天門市05月30日天氣:多云，風向：無持續風向，風力：<3級，氣溫：27/21℃