词语:形式化方法
形式化方法拼音:xíng shì huà fāng fǎ
形式化方法注音:ㄒ一ㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
内容:
⒈ 把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
首字母:首字母是X的词语
形式化方法相关词语:劳形苦神诡形奇制剪切形变形具神生澡形放射形形仪形只影单形际养形露原形连形德意志意识形态一犬吠形,百犬吠声应形法式式型旧式卑赞廷式训式式遏之功永式公式形式美酸式盐三角恒等式化学式版式二元方程式兵式体操司化缘化遁化氢氧化镁化塔风化传化树俗立化化衣尘形式化方法优化劳动组合生化需氧量梗顽不化三年化碧焚化方圆殊趣故方总后方方宝方计举止大方行不逾方方志敏方泽春方方田法方便旗方土异同方底圆盖方脉厎法赴法法比持法谥法刑法典时轮金刚法会役法演绎法拿破仑法典法杖违条舞法教法拔轴法加法定理