请问「形式化方法」是什么意思？
「形式化方法」读音
拼音 xíng shì huà fāng fǎ，注音 ㄒㄧㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
| 拼音字母 | xing shi hua fang fa |
|---|---|
| 拼音首字母 | xshff |
| 注音符号 | ㄒㄧㄥ ㄕ ㄏㄨㄚ ㄈㄤ ㄈㄚ |
| 注音首符号 | ㄒㄕㄏㄈㄈ |
「形式化方法」释义
扩展释义 形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属...
友情链接
抓书网 短词网 书号查询 星云网 处暑选钓位是什么意思？ 1979年属羊2026年运势及运程详解 79年属羊人2026年马年每月运程是什么意思？ 沈阳天气预报30天是什么意思？ 广州天气预报30天是什么意思？ 胖老组词是什么意思？ 长沙天气预报30天是什么意思？ 红酒口感找到适合自己是什么意思？ 西宁天气预报30天是什么意思？ 退红时雨 tuì hóng shí yǔ是什么意思？ mǐ 芈是什么意思？ 长海天气预报30天是什么意思？ shōu cáng pǐn wǎng收藏品网是什么意思？ 桂皮是什么意思？ 文人书屋是什么意思？ 足部首的字是什么意思？ 查重·去红 自动定位红色/黄色高危语句，精准“手术”修改，不误伤正常的黑色文字。是什么意思？