形式方法

「形式方法」是什么意思？

更新 2026-07-19 01:16:50

• 拼音字母xing shi fang fa
• 首字母xsff
• 注音符号ㄒㄧㄥ ㄕ ㄈㄤ ㄈㄚ

扩展释义

形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属...

拆字组词

相关词语

• 云岗派出所查含义
• 以土买查含义
• 伦敦指数查含义
• 光圈查含义
• 八门真武查含义
• 哈批查含义
• 头条娱乐查含义
• 大矛香艾查含义
• 就教查含义
• 岩沙海葵毒素查含义
• 张俊查含义
• 性感大麻查含义
• 扣屎盆子查含义
• 折叠式门查含义
• 接待前台查含义
• 敲敲我的头查含义
• 歇山查含义
• 波尔克查含义
• 测验标准化查含义
• 烟波渔港查含义
• 燃眉追击查含义
• 王殿生查含义
• 电子战飞机查含义
• 癃疏清颗粒查含义
• 第一手查含义
• 紫都台乡查含义
• 绕佛查含义
• 若纳坦查含义
• 醋溜族查含义
• 金大眼脂鲤查含义
• 阿久津健太郎查含义
• 阳逻街查含义
• 陈满查含义
• 防爆查含义
• 雅伊尔津霍查含义
• 韦伯函数查含义
• 骨舌鱼总目查含义
• 黄利民查含义
• 兵堂剑藏查含义
• 战国武校查含义
• 千影查含义
• 十二番队查含义
• 眼镜斑豚查含义
• 钉扎点查含义
• 仙变查含义
• 红腹锦蛙查含义
• 瓣睾锥棘吸虫查含义
• 邓惠洁查含义
• 复方健肝汤查含义
• 苏牟龙属查含义

热门组词

• 泰国清迈组词
• 异国情缘组词
• 女娲归来组词
• 芜爆山鸡组词
• 灵丝密码组词
• 遁去的一组词
• 绝道巅峰组词
• 命中注定组词
• 毫厘千里组词
• 狂虐恶魔组词