形式化方法

      形式化方法

      词语形式化方法

      拼音xíng shì huà fāng fǎ

      注音ㄒㄧㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ

      基本解释
      把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。

      相关汉字

      汉字组词形的组词 式的组词 化的组词 方的组词 法的组词

        汉语词典

      按结构查词:AABB式A里AB式ABAB式ABB式AAB式AA式ABAC式ABCC式AABC式

      按词性查词:名词动词形容词副词量词拟声词结构助词助词并列连词连词介词代词疑问词数词成语

      首字母查词:ABCDEFGHJKLMNOPQRSTWXYZ

          形式化方法相关词语

          别人正在查

        形式化方法陇客陵蹙笆篓爨下残兔死狗烹银楼版刻白磷峄阳孤桐北罗酆鱼贯押券秋侠殊裔郑公乡刘陆长沮心魂惊哭题捕身体锻炼两眼黑巫蛊緑英十二金人临鉴半瓶醋毛草纸破暝神鹰膝踝蜃楼山市银花榜投诸四裔宣讲顽愚蛇胆千乘之王罗浮春诗病栽花先生匡勷起见谢康乐体岳狩趫材公饯灾谴吃麻栗子