5．1 否定型等值式 5．2 量词分配等值式 5．3 范式 5．4 基本的推理公式 5.5 推理演算 5．6 谓词逻辑的归结推理法

人工智能基础：逻辑及数学演算中的不动项与不可判定命题（Ⅱ）

人工智能基础：逻辑及数学演算中的不动项与不可判定命题（Ⅰ）

• 数学概念 • 数学命题 • 数学证明

本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c05

第1节 原始递归函数 第2节 递归函数 第3节 图灵机 第4节 图灵可计算函数与部分递归函数 第5节 递归可枚举集

第1节 一阶语言的结构 第2节 可定义性 第3节 同态和同构

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c03-04

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c02