查询结果
形式化方法
xíng shì huà fāng fǎ
ㄒㄧㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
「形式化方法」是什么意思？
更新 2026-07-17 17:11:28
- 拼音字母xing shi hua fang fa
- 首字母xshff
- 注音符号ㄒㄧㄥ ㄕ ㄏㄨㄚ ㄈㄤ ㄈㄚ
扩展释义
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属...
拆字组词
相关词语
- 丁杰查含义
- 丽锦鱼查含义
- 于友善查含义
- 何庄乡查含义
- 华储大厦查含义
- 名达查含义
- 周喆查含义
- 塚地武雅查含义
- 威水查含义
- 宇涵查含义
- 平阳查含义
- 录音门查含义
- 惊世情仇查含义
- 有本事查含义
- 曹海玲查含义
- 杨智远查含义
- 模糊逻辑查含义
- 玛法查含义
- 牧星人查含义
- 琥珀酸二钠查含义
- 瓜纳华托查含义
- 白羊流星群查含义
- 离蛹查含义
- 聊复尔尔查含义
- 苏巍查含义
- 花文查含义
- 谢步瀛查含义
- 越狱第三季查含义
- 轮圈查含义
- 长苞紫茎查含义
- 阿育魏实查含义
- 集气法查含义
- 黄凤文查含义
- 黑线戴氏鱼查含义
- 薰风鹏查含义
- 神无月郁查含义
- 圆弧顶查含义
- 孜然羊肉面查含义
- 芦荟炒百合查含义
- 银脸山雀查含义
- 牛奶疗效食品查含义
- 爱情巧克力查含义
- 女神传说查含义
- 烹饪机器人查含义
- 荷叶局鸡查含义
- 臭黄菇查含义
- 苏州锥棘吸虫查含义
- 黄秆金竹查含义
- 法老王的宝藏查含义
- 金银丹查含义