| 词语 | 形式化方法 |
| 拼音 | 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℃
- 滨海县05月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℃