// 词语查询结果 · output
形式化方法
updated: 2026-07-13 05:14:30
释义
「形式化方法」是什么意思？
| 词语 | 形式化方法 |
|---|---|
| 拼音 | xíng shì huà fāng fǎ |
| 拼音字母 | xing shi hua fang fa |
| 拼音首字母 | xshff |
| 注音 | ㄒㄧㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ |
| 注音符号 | ㄒㄧㄥ ㄕ ㄏㄨㄚ ㄈㄤ ㄈㄚ |
扩展释义
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属...
工具
拆字组词
// 点击汉字查看组词列表
相关
相关词语
友情链接：
抓书网
短词网
书号查询
星云网
fāng 方是什么意思？
四年级是什么意思？
查看西藏天气-新乡天气预报 查看西藏天气 西藏是什么意思？
暑假日记七年级300字左右十七篇是什么意思？
查看河北天气-体感温度 查看河北天气 河北是什么意思？
人流后能不能吃龙眼 人流后可以吃龙眼吗是什么意思？
查看江西天气-深圳明天天气 查看江西天气 江西是什么意思？
普林斯顿大学 Princeton University是什么意思？
郑州天气预报30天是什么意思？
应用文书是什么意思？
成语词典是什么意思？
查看山西天气-杭州天气预报 查看山西天气 山西是什么意思？
乌鲁木齐天气预报30天是什么意思？
香港天气预报30天是什么意思？
手机号码星号遮掩还原 其他是什么意思？
嘉果是什么意思？