词语繁体:形式化方法
词语读音:xíng shì huà fāng fǎ
成语注音:ㄒㄧㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
首字拼音:Xing
词语拼音:xing shi hua fang fa
词语简拼:XSHFF
词语字数:五字词语
把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属...
【形的意思】:形 xíng(ㄒ一ㄥˊ) (一)、实体:形仪(体态仪表)。形体。形貌。形容。形骸。形单影只。形影相吊 详情>
【式的意思】:式 shì(ㄕˋ) (一)、物体外形的样子:式样。样式。(二)、特定的规格:格式。程式。(三)、典礼 详情>
【化的意思】:化 huà(ㄏㄨㄚˋ) (一)、性质或形态改变:变化。分化。僵化。教( jiào )化。熔化。融化。 详情>
【方的意思】:方 fāng(ㄈㄤ) (一)、四个角都是90度直角的四边形或六个面都是方形的立体;正方形.长方形(二 详情>
【法的意思】:法 fǎ(ㄈㄚˇ) (一)、体现统治阶段的意志,国家制定和颁布的公民必须遵守的行为规则:法办。法典。 详情>
• 逻辑演算与形式化方法
• 本文利用形式化方法raise对分析模式进行形式化。
• 文摘:灰信息理解是创造性思维的基础,当产生新知识时即为创造性理解.主要讨论灰消息分析及灰知识重组的形式化方法、灰知识的合适度、理解子系统刷新以及知识整合等创造性理解的基本问题
• 本文以中科院博士生导师,江西师范大学薛锦云教授承担的两个国家自然科学基金高技术探索项目:实用的软件形式化方法和高可靠性java程序开发方法研究为背景,初步实现了一个能够帮助学员规范地设计出高质量程序的程序设计智能教学软件平台。
友情链接:姓名测试