1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则

一、数制与编码 二、逻辑代数 三、基本逻辑门电路 四、汽车常用组合逻辑器件

▪ 个体词 ▪ 谓词 ▪ 量词 ▪ 一阶逻辑中命题符号化

11.1数制与编码 11.2基本逻辑门电路 11.3基本逻辑及应用 11.4集成逻辑门电路 11.5集成触发器 11.6计数器

本文以大学教师师生年龄差不断增长为视角，指出在科研能力提高与教学经验积累过程中，大学教师与学生互动而增进了解的必要性，强调大学应重视逻辑方法、数学方法等理性素质的培养。进而通过回顾复旦立校诸老对逻辑研究与教学的强调，突出通识教育背景下逻辑基础教学的重要性。最后，作者针对当前逻辑教学实践中出现在两对反差与矛盾，建议进一步重视逻辑教学，优化逻辑课程设置

3.1 MOS逻辑门电路 3.2 TTL逻辑门电路 3.3 射极耦合逻辑门电路（自学） 3.4 砷化镓逻辑门电路（自学） 3.5 逻辑描述中的几个问题 3.6 逻辑门电路使用中的几个实际问题 3.7 用VerilogHDL描述逻辑门电路（自学）

第二章逻辑代数基础 2.1概述 2.2逻辑代数中的三种基本运算 2.3逻辑代数的基本公式和常用公式 2.4逻辑代数的基本定理 2.5逻辑函数及其表示方法 2.6逻辑函数的化简方法 2.7具有无关项的逻辑函数及其化简

1. 掌握基本门电路的逻辑功能、逻辑符号、真值 表和逻辑表达式。了解 TTL门电路的特点。 3. 会分析和设计简单的组合逻辑电路。 4. 理解加法器、编码器、译码器等常用组合逻辑 电路的工作原理和功能。 5. 学会数字集成电路的使用方法。 本章要求： 2. 会用逻辑代数的基本运算法则化简逻辑函数

1-1 概述 1-2 逻辑代数中的三种基本运算 1-3 逻辑代数的基本公式和常用公式 1-4 逻辑代数的基本定理 1-5 逻辑函数及其表示方法 1-6 逻辑函数的公式化简法 1-7 逻辑函数的卡诺图化简法 1-8 具有无关项的逻辑函数及其化简

2.1二极管的开关特性 2.2BJT的开关特性 2.3基本逻辑门电路 2.4TTL逻辑门电路 2.5射极耦合逻辑门电路 2.6CMs逻辑门电路 2.7NMOS逻辑门电路 2.8正负逻辑问题(自学) 2.9逻辑门电路使用中的几个实际问题