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

本章要求: >掌握同步时序电路的基本分析过程 >掌握同步时序电路的设计原理 掌握状态表的化简过程

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

本章要求: >掌握触发器的基本类型及其状态描述 >了解触发器的结构与工作原理 >掌握触发器的基本应用电路

一、《离散数学》 二、《集合论与图论》 三、《代数结构与组合数学》 四、《数理逻辑》

一、命题演算形式系统: 1 命题公式 2 语法:形式公理 3 形式规则

欧几里德在不加证明而直接采用基本概念和 公理的基础上, 运用逻辑推理方法得出了一系列 定理、推论, 从而建立了完整的欧几理德几何学， 这一辉煌的成果至今仍然是人类宝贵财富. 逻辑推理建模方法是一种重要的建模方法

一、解释和赋值 解释是对每个符号说明其含义.赋值是指岀每个公式的真假值

–推理的形式结构 –自然推理系统P

– 等值式与基本的等值式 – 等值演算与置换规则 – 析取范式与合取范式、主析取范式与主合取范式