查询结果
形式化方法
xíng shì huà fāng fǎ
ㄒㄧㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
「形式化方法」是什么意思？
更新 2026-07-12 02:55:58
- 拼音字母xing shi hua fang fa
- 首字母xshff
- 注音符号ㄒㄧㄥ ㄕ ㄏㄨㄚ ㄈㄤ ㄈㄚ
扩展释义
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属...
拆字组词
相关词语
- 作战值班查含义
- 吴嘉宾查含义
- 周文光查含义
- 国内无战事查含义
- 土楠属查含义
- 夏湾村查含义
- 容错码查含义
- 张四化查含义
- 朱家连查含义
- 杨亚磊查含义
- 江南世家查含义
- 消风颗粒查含义
- 狂丸哔哔哔查含义
- 白萼素馨查含义
- 目无余子查含义
- 空炮查含义
- 范围数查含义
- 花仙闪蝶查含义
- 茶余饭后餐坊查含义
- 虎口扳须查含义
- 补郎苗族乡查含义
- 轻车熟道查含义
- 金边债券查含义
- 长体雀杜父鱼查含义
- 阮超查含义
- 骆驼刺属查含义
- 黑暗真相查含义
- 龙水乡查含义
- 鯨波鱷浪查含义
- 长沙逸都酒店查含义
- 白山市国税局查含义
- 合理市价查含义
- 西红柿浓汤查含义
- 腾瑞查含义
- 真心豆腐汤查含义
- 食用碱查含义
- 女暴君查含义
- 东平侯查含义
- 密屑体查含义
- 百战天狼查含义
- 粒纹暗色芋螺查含义
- 发祥梅查含义
- 香港名牌查含义
- 死亡战车查含义
- 甲胺乙比啶查含义
- 满金止咳颗粒查含义
- 砺心查含义
- 杨金瑞查含义
- 孟祥文查含义
- 想战友查含义