词语含义

查询结果

形式方法

xíng shì fāng fǎ

ㄒㄧㄥˊ ㄕˋ ㄈㄤ ㄈㄚˇ

「形式方法」是什么意思？

更新 2026-07-15 20:34:30

扩展释义

形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属...

拆字组词

形 式 方 法

相关词语

友情链接

抓书网 短词网 书号查询 星云网 新民天气预报30天是什么意思？ 小叶蒲公英是什么意思？ 共青团泉州市委关于公开招聘泉州是什么意思？ 吉林市天气是什么意思？ 新民天气预报30天是什么意思？ 百家号是什么意思？ 教师篇人工作总结报告5… 10-26是什么意思？ 查看详情是什么意思？ 幼儿工作计划是什么意思？ 大学生感恩学校演讲稿(范文19篇)是什么意思？ 胜是什么意思？ 鞍山天气预报30天是什么意思？ 沙河口区明天天气是什么意思？ 关于爱的作文是什么意思？ shèng shēng wǎng盛生网是什么意思？ 和陶饮酒 其五是什么意思？