《高中数学》全程设计同步配套教学课件（B版必修第一册）第1章 集合与常用逻辑用语_第1章 1.1.2 集合的基本关系

命题的基本概念 命题联结词 命题合式公式、重言式 自然语句的形式化

2.1 基本PROLOG 2.2 Turbo PROLOG程序设计

本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

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

第2章基本数据类型 2.1整型 2.2浮点型 2.3字符型 2.4逻辑类型 2.5标准函数 2.6量的定义方法

3.2.1 BJT的开关特性 3.2.2 基本BJT反相器的动态特性 3.2.3 TTL反相器的基本电路 3.2.4 TTL逻辑门电路 3.2.5 集电极开路门和三态门 3.2.6 BiMOS门电路

3.1 概述 3.2 组合逻辑电路的基本分析和设计方法 3.3 若干常用的组合逻辑电路 3.4 组合电路中的竞争－冒险

江西农业大学：《数字逻辑》课程教学资源（PPT讲稿）第五章 触发器——5.1 基本触发器 5.1.4 T触发器

第一节 概述 第二节 逻辑代数中的常用运算 第三节 逻辑代数的基本公式和基本运算定律