| 詞語 | 形式化方法 |
| 拼音 | xínɡ shì huà fānɡ fǎ |
| 書寫 | 形 式 化 方 法 |
| 解釋 |
把概念、判斷、推理轉化成特制的形式符號后，對形式符號表達系統進行研究的方法。它可以消除自然語言的歧義性、不通用性，為不同學科提供具有普遍適用性的共同邏輯形式，有利于揭示新聯系，導致新發現。 |
《形式化方法》
更新時間:2023-07-01 11:03:34
形式化方法造句
與“形式化方法”相關的信息
精品推薦
- 海南州05月30日天氣:小雨轉中雨，風向：東南風，風力：<3級，氣溫：21/8℃
- 阿勒泰區05月30日天氣:小雨轉晴，風向：無持續風向，風力：<3級，氣溫：17/6℃
- 民豐縣05月30日天氣:陰，風向：東北風，風力：3-4級轉<3級，氣溫：26/14℃
- 神農架林區05月30日天氣:多云，風向：無持續風向，風力：<3級，氣溫：27/15℃
- 庫爾勒市05月30日天氣:晴，風向：無持續風向，風力：<3級，氣溫：24/12℃
- 哈巴河縣05月30日天氣:小雨轉晴，風向：無持續風向，風力：<3級，氣溫：16/5℃
- 茫崖05月30日天氣:晴，風向：西北風，風力：3-4級轉<3級，氣溫：17/8℃
- 果洛05月30日天氣:小雨，風向：東南風，風力：3-4級轉<3級，氣溫：20/0℃
- 門源縣05月30日天氣:小雨，風向：南風，風力：3-4級轉<3級，氣溫：20/6℃
- 永寧縣05月30日天氣:晴轉小雨，風向：無持續風向，風力：<3級轉3-4級，氣溫：31/13℃