本章要求 ■本章的内容应该结合配套的实验课程进行,主要教学任务在配套的实验课程上完成。 ■学生在掌握可编程逻辑器件的基本结构后,利用计算机仿真软件进行实验。 ■学生应该掌握基本的计算机仿真过程

复旦大学电子工程系：数字逻辑基础_第5章 异步时序电路

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

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

中国科学技术大学：《数理逻辑》课程教学资源（电子教案，PPT课件讲稿）

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

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

第 1 节 证明的必要性 第 2 节 集合 第 3 节 关系 第 4 节 函数 第 5 节 等价关系与划分 第 6 节 序 第 7 节 结构的例子

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

引言 直接证明 反证法 分情形证明 等价性证明 存在性证明 唯一性证明 寻找反例 数学与猜想