查询结果
形式化方法
xíng shì huà fāng fǎ
ㄒㄧㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
「形式化方法」是什么意思？
更新 2026-07-11 03:51:25
- 拼音字母xing shi hua fang fa
- 首字母xshff
- 注音符号ㄒㄧㄥ ㄕ ㄏㄨㄚ ㄈㄤ ㄈㄚ
扩展释义
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属...
拆字组词
相关词语
- 不近道理查含义
- 倚闾而望查含义
- 侵染循环查含义
- 全喙马先蒿查含义
- 分文不值查含义
- 双洋查含义
- 呈心偈查含义
- 四川紫菀查含义
- 在于查含义
- 四门游观查含义
- 增长查含义
- 小豆面馆查含义
- 小花方竹查含义
- 岳岚查含义
- 张震讲鬼故事查含义
- 星槎小学查含义
- 水准点查含义
- 沐浴剂查含义
- 焚烧炉查含义
- 港上查含义
- 相符极成过查含义
- 白银谷查含义
- 石蟹查含义
- 皇城食府查含义
- 科技创业大厦查含义
- 穷家薄业查含义
- 秧鸡科查含义
- 结构冲突查含义
- 维纳滤波查含义
- 自命不凡查含义
- 西梁查含义
- 豕窜狼逋查含义
- 金利大厦查含义
- 钟德星查含义
- 闪燃查含义
- 阐截斗查含义
- 颍川四长查含义
- 露园小区查含义
- 风入松查含义
- 额济纳河查含义
- 预备生查含义
- 马尔他雄鹰查含义
- 马贤昌查含义
- 鸱目虎吻查含义
- 龙居华庭查含义
- 叶太辅查含义
- 苍沼桐叶查含义
- 家庭季查含义
- 明经村查含义
- 冬瓜全鸭汤查含义