形式化方法
基本解释
简解
形式化方法的词语属性
拼音xíng shì huà fāng fǎ
拼音字母xing shi hua fang fa
拼音首字母xshff
形式化方法的百科含义
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属...
猜你喜欢
- hongloumenghouxu红楼梦后续
- xianduanfengzheng线断风筝
- chuangyetuandui创业团队
- xuanshangling悬赏令
- yizhaoyi伊肇毅
- wangdoudou王斗斗
- yuanlaiyijiaren缘来一家人
- ēn jì恩纪
- lankezun蓝可尊
- yulewanjia娱乐玩家
- kongqichujun空气除菌
- heshunhuayuan和顺花园
- hupei胡佩
- cugankumeng簇感库蠓
- huaranzhuangyuanhong花染状元红
- shenzhendongman深圳动漫
- xuefurong血芙蓉
- yingpicong硬皮葱
- weierfen威尔芬
- wangmo网膜
- yidongqichewang移动汽车网
- wujiuwenqintu乌桕文禽图
- luanda栾大
- lijiacun里加村
- maluta玛露塔
- fengyunshidai风云时代
- zhangyiqian张艺千
- weixuekangkeli维血康颗粒
- putuosi菩陀寺
- yingzhijiao硬质胶