查询结果
形式化
xíng shì huà
ㄒㄧㄥˊ ㄕˋ ㄏㄨㄚˋ
「形式化」是什么意思？
更新 2026-07-11 21:32:42
- 拼音字母xing shi hua
- 首字母xsh
- 注音符号ㄒㄧㄥ ㄕ ㄏㄨㄚ
扩展释义
形式化方法在古代就运用了，而在现代逻辑中又有了进一步的发展和完善。这种方法特别在数学、计算机科学、人工智能等领域得到广泛运用。它能精确地揭示各种逻辑规律，制定相应的逻辑规则，使各种理论体系更加严密。同时也能正确地训练思维、提高思维的抽象能力。形式化方法英文的名称是formal methods。
拆字组词
相关词语
- 下坂峪村查含义
- 云南独蒜兰查含义
- 仙六查含义
- 修理产品查含义
- 唱片机查含义
- 天墉查含义
- 局骗拐带查含义
- 开心多来咪查含义
- 张文亭查含义
- 廖平查含义
- 戈壁藜查含义
- 打雀遇鬼查含义
- 抑食肼查含义
- 掌旗兵查含义
- 无人生活查含义
- 杜宝山查含义
- 李翠云查含义
- 曾丽芳查含义
- 沈卓查含义
- 法格崇拜查含义
- 灰镜查含义
- 熊经鸟申查含义
- 生命列车查含义
- 玉清观查含义
- 男妇女主任查含义
- 空乏查含义
- 芷岸龙庭查含义
- 苍龙魔法师查含义
- 虚无缥缈查含义
- 西方的没落查含义
- 诸神的黄昏查含义
- 赶点查含义
- 赵肖查含义
- 采光口查含义
- 难逃魔掌查含义
- 露珠查含义
- 马扫帚查含义
- 云峰大坝查含义
- 嚎叫山庄查含义
- 万永奎查含义
- 醋烧大白菜查含义
- 白菜香菇汁查含义
- 盐炒松子查含义
- 索马里跳羚查含义
- 逗战胜佛查含义
- 无尽怪物查含义
- 蜜香散查含义
- 崔伟杰查含义
- 朱家岗保卫战查含义
- 龙腾文化大厦查含义