发布日期:2020-12-11
A.对
B.错
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属的物理性质和化学性质与纯铝不相同;所以,它不是纯铝。”这个推理的形式结构是:“如果p,则q;如果p,则r;非q且非r;所以非p。”可进而形式化为下列公式:((p→q)∧(p→r))∧┐q∧┐r→┐p。
浑然一体,汉语成语,拼音是hún rán yī tǐ,意思是融合成一个整体,不可分割。也形容文章绘画,布置匀整,结构谨严。出自 《二程遗书》。
生产过程,是指从产品投产前一系列生产技术组织工作开始,直到把合格产品生产出来的全部过程。生产过程分为自然过程和劳动过程。劳动过程分为生产准备过程、基本生产过程、辅助生产过程和生产服务过程,基本生产过程又具体划分为工艺过程、检验过程和运输过程,分别由各自的工序组成。生产过程是工业企业资金循环的第二阶段。在生产过程中,工人借助于劳动资料对劳动对象进行加工,制成劳动产品。因此,生产过程既是产品制造过程,又是物化劳动(劳动资料和劳动对象)和活劳动的消耗过程。机械产品的生产过程是指从原材料(或半成品)开始直到制造成为产品之间的各个相互联系的全部劳动过程的总和。
热门试题
热门资讯
暂无相关推荐~
使用浏览器的分享功能,把这篇文章分享出去
确定