形式化

音义

广训

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

组词

形 式 化

相关

• 修理所
• 冻原白蒿
• 勇者大陆
• 升降台
• 华富村
• 周永康
• 塞凯拉
• 复合干扰
• 大宗饭店
• 大雨倾盆
• 宛城
• 孙雨田
• 建筑书店
• 当归注射液
• 德蒙特
• 张广军
• 技术保障
• 扎西镇
• 方仙
• 无距兰属
• 春和村
• 朱喆
• 条裂黄堇
• 梦上海
• 水陆两用飞机
• 澳洲坚果属
• 热带农业
• 消防阀门
• 渡情
• 渭田镇
• 画瓦书符
• 管窥筐举
• 空白带
• 童工
• 脆炸网油卷
• 萌芽
• 街区大作战
• 赵杰
• 贺健
• 陶菲
• 霸爱七公主
• 黑色位面战斧
• 黎山林场
• 黄狗
• 英山县财政局
• 万安县公安局
• 威海市国土局
• 杰克武士
• 蜂窝豆腐
• 火影之暗战