江西农业大学：《数字逻辑》课程教学资源（教学大纲）数字逻辑课程教学大纲 Digital Logic

江西农业大学：《数字逻辑》课程教学资源（电子教案）数字逻辑课程电子教案（负责人：何火娇）

第一节 归纳逻辑与演绎逻辑 第二节 论文架构与论证规范

8.1 数字系统的基本模型 8.1.1 信息处理单元的构成 8.1.2 控制单元CU的构成 8.2 数字系统设计的描述工具 8.2.1 方框图 8.2.2 定时图 (时序图、时间关系图) 8.2.3 逻辑流程图 8.2.4 ASM图

复旦大学：《数理逻辑》课程教学资源（讲义）第3章 一阶逻辑的语言、第4章 形式证明

《数字电路与逻辑设计》课程PPT教学课件（数字逻辑）第一章 基本知识

4.1 谓词和个体词 4.2 函数和量词 4.3 合式公式 4.4 自然语句的形式化 4.5 有限域下公式(x)P(x), (x)P(x)的表示法 4.6 公式的普遍有效性和判定问题

竞争的结果若导致冒险（险象）发生（如上例中的毛刺），并造成 错误的后果，则称这种竞争为临界竞争；竞争的结果不导致冒险发 生（如上例中的t1，t3时刻，没有毛刺），或虽有冒险发生，但不影 响系统的工作，则称这种竞争为非临界竞争

第1章：有效性：从什么可以推出什么？ 第2章（上）：真值函数——亦或不是？ 第2章（下）真值函数——亦或不是？ 第3章：名称与量词：空无一物是某物吗？ 第4章（上）：摹状词与存在：古希腊人崇拜宙斯吗？ 第4章（下）：摹状词与存在：古希腊人崇拜宙斯吗？ 第5章：自指：本章是关于什么的？ 第6章：必然与可能：什么会是一定如此的？ 第7章：条件句：“如果”中有什么？ 第8章：将来和过去：时间是真实的吗？ 第9章：同一性与变化：有什么是一成不变的吗？ 第10章：模糊性：如何在滑坡上停止下滑？ 第11章：概率：缺少参照类的奇怪情形 第12章：互逆概率：你无法忽略其差别！ 第13章：决策论：远大期望 第14章：一点历史与进阶阅读

1. 词项 2. 直言命题 3. 直言推理 4. 三段论