全站数据
8 4 2 0 5 8 1

形式化方法的意思是什么

学习习惯研究员 | 教育先行,筑梦人生!         
问题更新日期:2024-03-03 14:20:44

问题描述

形式化方法的词语解释
精选答案
最佳答案

把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。

它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。