找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 形式化
形式化方法在古代就运用了，而在现代逻辑中又有了进一步的发展和完善。这种方法特别在数学、计算机科学、人工智能等领域得到广泛运用。它能精确地揭示各种逻辑规律，制定相应的逻辑规则，使各种理论体系更加严密。同时也能正确地训练思维、提高思维的抽象能力。形式化方法英文的名称是formal methods。 — 拼音 xíng shì huà，更新 2026-07-13 09:42:49
| 拼音 | xíng shì huà |
|---|---|
| 拼音字母 | xing shi hua |
| 首字母 | xsh |
| 注音 | ㄒㄧㄥˊ ㄕˋ ㄏㄨㄚˋ |
| 注音符号 | ㄒㄧㄥ ㄕ ㄏㄨㄚ |