3.1 晶体管的开关特性 3.2 TTL集成逻辑门 3.3 MOS逻辑门电路 3.4 CMOS电路

15.1数制与码制 15.2逻辑代数的基本运算及其规则 15.3逻辑函数及其表示方法 15.4逻辑函数的化简

本章要求 >掌握逻辑代数的基本公式和基本定理 >掌握逻辑函数的化简方法

⒈ 基本逻辑运算 ⒉ 逻辑代数的基本公式和规则 ⒊ 逻辑函数的化简

一、二进制、二进制与十进制的相互转换 二、逻辑代数的公式与定理、逻辑函数化简 三、基本逻辑门电路的逻辑功能

6.1 概述 6.2 时序逻辑电路的分析 6.3 时序逻辑电路的设计 6.4 常用时序逻辑电路

第一章 命题逻辑

问题1：如何基于命题逻辑进行推理？ 问题2：什么是(一阶)谓词逻辑？ 问题3：如何基于谓词逻辑进行推理？

5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论

2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用