形式化方法的意思
注音 ㄒ一ㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
拼音 xíng shì huà fāng fǎ
基本釋義
⒈ 把概念、判斷、推理轉化成特製的形式符號後,對形式符號表達系統進行研究的方法。它可以消除自然語言的歧義性、不通用性,為不同學科提供具有普遍適用性的共同邏輯形式,有利於揭示新聯絡,導致新發現。
注音 ㄒ一ㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
拼音 xíng shì huà fāng fǎ
基本釋義
⒈ 把概念、判斷、推理轉化成特製的形式符號後,對形式符號表達系統進行研究的方法。它可以消除自然語言的歧義性、不通用性,為不同學科提供具有普遍適用性的共同邏輯形式,有利於揭示新聯絡,導致新發現。