填空题
发布日期:2020-10-16
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属的物理性质和化学性质与纯铝不相同;所以,它不是纯铝。”这个推理的形式结构是:“如果p,则q;如果p,则r;非q且非r;所以非p。”可进而形式化为下列公式:((p→q)∧(p→r))∧┐q∧┐r→┐p。
题王网让考试变得更简单
扫码关注题王,更多免费功能准备上线!
此试题出现在
其他考试
在对患者进行治疗时,研究人员为了得到研究材料,而不告知患者,这损害了患者的()。
属于“金”的季节是()。
现代行政管理产生于()
下列部位石膏固定位置不正确的有()。
()以转让协议生效且完成资产实际交割日为重组日。
内部控制绩效监测的主要内容包括:()。
贴膜卡的单笔交易限额为()万元,单日交易限额()万元。
男性,32岁,右胸外伤后肋骨骨折,并出现极度呼吸困难、发绀、烦躁不安等表现。体格检查:血压10.7/8kPa,脉细速,皮肤湿冷,气管向左偏移,颈静脉充盈,头颈及右胸皮下气肿,右侧胸廓饱满、肋间隙增宽、呼吸幅度减低,叩诊鼓音,右肺呼吸音消失。若上述病人经过胸腔闭式引流5天后,漏气仍然严重,胸片显示患侧肺膨胀不全。 首先考虑()
在建设项目施工中,施工单位与其他主体产生债的情形说法正确的有( )。
以下说法正确的有()
暂无相关推荐~
从形式上看,教育经过了从非形式化教育,到形式化教育,再到()教育的演变历程。
非形式化、半形式化、形式化的软件模型有什么本质的差别?
非形式化、半形式化、形式化的软件模型有什么本质的差别?
()是对一系列访问控制规则集合的描述,可以是非形式化的,也可以是形式化的。
描述场景所使用的表示法要符合正规性要求,一般可使用非形式化语言、半形式化语言和形式化语言。在实践中,()是主要的描述方式。
美术教育的形态包括非形式化教育、()、形式化教育。
从形式看,教育经过了从非形式化到形式化再到()的过程。
形式化的社会控制和非形式化的社会控制
形式化的社会控制和非形式化的社会控制
在下列选项中,属于非形式化教育特点的是()。