查询结果
形式方法
xíng shì fāng fǎ
ㄒㄧㄥˊ ㄕˋ ㄈㄤ ㄈㄚˇ
「形式方法」是什么意思？
更新 2026-07-10 07:25:20
- 拼音字母xing shi fang fa
- 首字母xsff
- 注音符号ㄒㄧㄥ ㄕ ㄈㄤ ㄈㄚ
扩展释义
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属...
拆字组词
相关词语
- 中心任务查含义
- 于晓查含义
- 企业环境识别查含义
- 侵占罪查含义
- 动力心理学查含义
- 吴永波查含义
- 唐扇查含义
- 大五家子镇查含义
- 崮山路查含义
- 山尖菜查含义
- 广南槭查含义
- 张海帆查含义
- 张继亮查含义
- 德胜花园查含义
- 忍者武艺帐查含义
- 张亿查含义
- 御码头查含义
- 核桃揪查含义
- 毛斑裸板寄蝇查含义
- 武当山查含义
- 永成精英汇查含义
- 湖沟镇查含义
- 炮子查含义
- 甘油磷酸钠查含义
- 现代社会学查含义
- 生理盐水查含义
- 狞笑查含义
- 番禺石楼中学查含义
- 真武庙五里查含义
- 筏子查含义
- 茄利查含义
- 虎踞钟山查含义
- 装配流水线查含义
- 蛛网绣查含义
- 邓广铭查含义
- 通远镇查含义
- 铺路石子查含义
- 龙丹查含义
- 开封县交通局查含义
- 弑道侯查含义
- 板龙科查含义
- 索伯车队查含义
- 香芋炖鱼头查含义
- 李俊根查含义
- 裂空查含义
- 湿地峡谷豹蛙查含义
- 温氏武定鱼查含义
- 铜绿狭甲蝇查含义
- 五加皮提取物查含义
- 夜光之鱼查含义