查询结果
形式化
xíng shì huà
ㄒㄧㄥˊ ㄕˋ ㄏㄨㄚˋ
「形式化」是什么意思？
更新 2026-07-17 22:56:58
- 拼音字母xing shi hua
- 首字母xsh
- 注音符号ㄒㄧㄥ ㄕ ㄏㄨㄚ
扩展释义
形式化方法在古代就运用了，而在现代逻辑中又有了进一步的发展和完善。这种方法特别在数学、计算机科学、人工智能等领域得到广泛运用。它能精确地揭示各种逻辑规律，制定相应的逻辑规则，使各种理论体系更加严密。同时也能正确地训练思维、提高思维的抽象能力。形式化方法英文的名称是formal methods。
拆字组词
相关词语
- 乌兔查含义
- 乜勇查含义
- 书声朗朗查含义
- 偃师查含义
- 光幕查含义
- 共同的家查含义
- 凹状查含义
- 利在千秋查含义
- 十地心查含义
- 哑钹查含义
- 多穗石柯根查含义
- 如意三马路查含义
- 孙虹查含义
- 尚义社区查含义
- 弱化作用查含义
- 张小雨查含义
- 心如铁石查含义
- 抠门儿查含义
- 改过不吝查含义
- 斯蒂芬森查含义
- 新爱情乐园查含义
- 李权庄镇查含义
- 照射查含义
- 破碎的誓约查含义
- 种痘查含义
- 管材查含义
- 秋毫查含义
- 管公明查含义
- 腹侧查含义
- 芝罘刻石查含义
- 莲花潭村查含义
- 西平王爷查含义
- 解剖无效腔查含义
- 辽海丛书查含义
- 贰负查含义
- 贱人快跑查含义
- 钩白肾夜蛾查含义
- 铢施两较查含义
- 陈金辉查含义
- 驷马莫追查含义
- 马辰查含义
- 黄丰镇查含义
- 姜子牙下山查含义
- 玛鲁查含义
- 魔法娘由玛查含义
- 小金井博文查含义
- 生炒腰花查含义
- 黑楞楞查含义
- 瑞气吉祥查含义
- 帕托茨卡查含义