请问「形式化方法」是什么意思？
关于「形式化方法」
拼音 xíng shì huà fāng fǎ，注音 ㄒㄧㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ。数据更新于 2026-07-13 08:46:43。
| 拼音字母 | xing shi hua fang fa |
|---|---|
| 拼音首字母 | xshff |
| 注音符号 | ㄒㄧㄥ ㄕ ㄏㄨㄚ ㄈㄤ ㄈㄚ |
| 注音首符号 | ㄒㄕㄏㄈㄈ |
扩展释义
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属...
拆字组词
相关词语
- 三山街道是什么意思？
- 仙岭村是什么意思？
- 出震之君是什么意思？
- 卡尔多内是什么意思？
- 刺凤描鸾是什么意思？
- 卓绝千古是什么意思？
- 哭泣宝贝是什么意思？
- 夏天的绯闻是什么意思？
- 大功告成是什么意思？
- 宋农乡是什么意思？
- 小念珠芥是什么意思？
- 废话是什么意思？
- 張伯岐是什么意思？
- 弯头高粱是什么意思？
- 彭久洋是什么意思？
- 张文健是什么意思？
- 拉辛是什么意思？
- 搀假是什么意思？
- 无声密码是什么意思？
- 无量世是什么意思？
- 星辰陨落是什么意思？
- 普兴乡是什么意思？
- 杂粮食府是什么意思？
- 柳钢股份是什么意思？
- 柳思远是什么意思？
- 永宁乡是什么意思？
- 溪北街道是什么意思？
- 熔岩怒火之爪是什么意思？
- 白色巨塔是什么意思？
- 祖母的家规是什么意思？
- 穿心莲丸是什么意思？
- 缫丝花是什么意思？
- 纤细碎米荠是什么意思？
- 肴驴肉是什么意思？
- 肉皮是什么意思？
- 自凝树脂是什么意思？
- 膝语蛇行是什么意思？
- 费贞娥刺虎是什么意思？
- 赖裕安是什么意思？
- 赵翠芬是什么意思？
- 近革叶假糙苏是什么意思？
- 邵陵是什么意思？
- 阿尾奢法是什么意思？
- 陈荣志是什么意思？
- 马鑫鑫是什么意思？
- 黑色毛衣是什么意思？
- 黄耳传书是什么意思？
- 濮上园是什么意思？
- 提玛欧斯之眼是什么意思？
- 田中由土里是什么意思？