| 字词 | 形式化方法 |
| 释义 | 形式化方法 形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属的物理性质和化学性质与纯铝不相同;所以,它不是纯铝。”这个推理的形式结构是:“如果p,则q;如果p,则r;非q且非r;所以非p。”可进而形式化为下列公式:((p→q)∧(p→r)）∧┐q∧┐r→┐p。 形式化方法的相似词 计算复杂性理论 计算机科学理论 符号计算 程序语言设计 形式语义学 人工智能与智能控制 计算机科学的基础 计算机代数 人工智能与知识工程 不确定性推理 符号逻辑 统计模式识别 形式化描述 点集拓扑学 最优控制理论 信息理论 网构软件 模式识别和机器学习 随机动力系统 语用分析 现代密码学 依存语法 修辞研究 复杂性理论 自动机理论 非经典逻辑 基于规则的方法 生成语言学 最优化理论 认知人类学 相关查询 形式化描述 形式化建模 形式化定义 形式化分析 形式化 形式化表示 形式化证明 形式化语言 形式化验证 形式单一 |
| 随便看 |
|
天城网汉语字词典收录471290条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。