关于「形式方法」

拼音 xíng shì fāng fǎ，注音 ㄒㄧㄥˊ ㄕˋ ㄈㄤ ㄈㄚˇ。数据更新于 2026-07-15 20:51:03。

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

扩展释义

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

拆字组词

• 「形」字组词
• 「式」字组词
• 「方」字组词
• 「法」字组词

相关词语

• 不禁是什么意思？
• 不朽鹿尊是什么意思？
• 二坪镇是什么意思？
• 决战新世界是什么意思？
• 准确数是什么意思？
• 刘行格是什么意思？
• 吸血君王是什么意思？
• 多体性是什么意思？
• 大灌顶是什么意思？
• 大汉高校是什么意思？
• 宽中老蔻丸是什么意思？
• 小蕊是什么意思？
• 山楂荷叶茶是什么意思？
• 师恩难忘是什么意思？
• 成长型基金是什么意思？
• 房屋竣工面积是什么意思？
• 泳池情杀案是什么意思？
• 湘里乡亲是什么意思？
• 爱的谎言是什么意思？
• 狭叶铁角蕨是什么意思？
• 特种电缆是什么意思？
• 石家庄学院是什么意思？
• 米埔是什么意思？
• 茜草是什么意思？
• 花苑新村是什么意思？
• 表侄是什么意思？
• 行别营是什么意思？
• 视平线是什么意思？
• 许继华是什么意思？
• 败毒是什么意思？
• 这一刻是什么意思？
• 阿察乡是什么意思？
• 陈绍清是什么意思？
• 闩针绣是什么意思？
• 集客高手是什么意思？
• 集成开发环境是什么意思？
• 颖悟绝人是什么意思？
• 麻黄科是什么意思？
• 宁安市林业局是什么意思？
• 富阳市国税局是什么意思？
• 翠晶牢是什么意思？
• 土红糖是什么意思？
• 魔法塔是什么意思？
• 清秀竹芋是什么意思？
• 点颊姬霸鹟是什么意思？
• 苁蓉牛膝丸是什么意思？
• 丰满水绵是什么意思？
• 仙术通神散是什么意思？
• 牯牛卵囊是什么意思？
• 题檐卜是什么意思？