1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 高等教育
  5. 理学

离散数学导论（第5版）-第五篇 数理逻辑.pdf

离散数学导论（第5版）-第五篇 数理逻辑.pdf

    第五篇数理逻辑

    •数理逻辑是用数学方法研究形式逻辑演绎推理

    规则的科学，它是一门数学，是一门研究演绎推理规则

    的数学，在学习此部分时，主要要掌握如下几个要点：

    •①思维的形式化

    •②指派法

    •③公式推理

    •④公理系统

    •⑤范式

    •⑥自动定理证明

    •

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >