栩科词语词典 - 汉语查词大全 AI 汉语助手
请问「形式化」是什么意思?

关于「形式化」

拼音 xíng shì huà,注音 ㄒㄧㄥˊ ㄕˋ ㄏㄨㄚˋ。数据更新于 2026-07-12 22:43:27。

拼音字母xing shi hua
拼音首字母xsh
注音符号ㄒㄧㄥ ㄕ ㄏㄨㄚ
注音首符号ㄒㄕㄏ

扩展释义

形式化方法在古代就运用了,而在现代逻辑中又有了进一步的发展和完善。这种方法特别在数学、计算机科学、人工智能等领域得到广泛运用。它能精确地揭示各种逻辑规律,制定相应的逻辑规则,使各种理论体系更加严密。同时也能正确地训练思维、提高思维的抽象能力。形式化方法英文的名称是formal methods。

拆字组词

相关词语