| 詞語 | 形式化方法 |
| 拼音 | xínɡ shì huà fānɡ fǎ |
| 書寫 | 形 式 化 方 法 |
| 解釋 |
把概念、判斷、推理轉化成特制的形式符號后，對形式符號表達系統進行研究的方法。它可以消除自然語言的歧義性、不通用性，為不同學科提供具有普遍適用性的共同邏輯形式，有利于揭示新聯系，導致新發現。 |
《形式化方法》
更新時間:2023-07-01 11:03:34
形式化方法造句
與“形式化方法”相關的信息
精品推薦
- 南沙群島05月30日天氣:雷陣雨，風向：西南風，風力：4-5級轉5-6級，氣溫：31/26℃
- 共和縣05月30日天氣:小雨轉中雨，風向：東南風，風力：<3級，氣溫：21/8℃
- 芮城縣05月30日天氣:晴轉多云，風向：西北風，風力：<3級，氣溫：23/16℃
- 同德縣05月30日天氣:小雨，風向：東風，風力：<3級，氣溫：22/7℃
- 庫車縣05月30日天氣:晴，風向：無持續風向，風力：<3級，氣溫：24/10℃
- 吉木乃縣05月30日天氣:小雨轉晴，風向：無持續風向，風力：<3級轉3-4級，氣溫：14/6℃
- 原州區05月30日天氣:晴轉小雨，風向：無持續風向，風力：<3級轉3-4級，氣溫：24/11℃
- 正寧縣05月30日天氣:多云，風向：東北風，風力：<3級，氣溫：23/15℃
- 惠農區05月30日天氣:晴轉小雨，風向：無持續風向，風力：<3級轉3-4級，氣溫：29/16℃
- 塔城地區05月30日天氣:晴，風向：無持續風向，風力：<3級，氣溫：17/5℃