| 詞語 | 形式化方法 |
| 拼音 | xínɡ shì huà fānɡ fǎ |
| 書寫 | 形 式 化 方 法 |
| 解釋 |
把概念、判斷、推理轉化成特制的形式符號后，對形式符號表達系統進行研究的方法。它可以消除自然語言的歧義性、不通用性，為不同學科提供具有普遍適用性的共同邏輯形式，有利于揭示新聯系，導致新發現。 |
《形式化方法》
更新時間:2023-07-01 11:03:34
形式化方法造句
與“形式化方法”相關的信息
精品推薦
- 阿克蘇區05月30日天氣:多云轉晴，風向：無持續風向，風力：<3級，氣溫：26/13℃
- 陵川縣05月30日天氣:晴轉多云，風向：西北風，風力：<3級，氣溫：20/12℃
- 精河縣05月30日天氣:晴，風向：北風，風力：3-4級轉<3級，氣溫：27/14℃
- 兩當縣05月30日天氣:多云轉小雨，風向：東北風，風力：<3級，氣溫：29/15℃
- 青河縣05月30日天氣:陰轉小雨，風向：無持續風向，風力：<3級，氣溫：15/6℃
- 夏河縣05月30日天氣:陣雨轉中雨，風向：東北風，風力：<3級轉3-4級，氣溫：19/6℃
- 建湖縣05月30日天氣:陰，風向：東北風，風力：<3級，氣溫：22/18℃
- 臨夏州05月30日天氣:小雨轉中雨，風向：東北風，風力：<3級，氣溫：26/15℃
- 共和縣05月30日天氣:小雨轉中雨，風向：東南風，風力：<3級，氣溫：21/8℃
- 瑪曲縣05月30日天氣:陣雨轉小雨，風向：東北風，風力：<3級，氣溫：16/8℃