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

主要任务：得出详细的系统逻辑模型。 具体内容为： 1 进一步准确定义对系统包括功能要求、性能要求、运行要求及以后的修改、维护及扩充要求在内的综合要求；

数据结构是一门研究数据的逻辑关系、存储方法和基本运算的一般方法的学科

一、空值的产生 二、空值的判断 三、可否取空值的限制 可否取空值的限制 四、有空值的逻辑

欧几里德在不加证明而直接采用基本概念和 公理的基础上, 运用逻辑推理方法得出了一系列 定理、推论, 从而建立了完整的欧几理德几何学， 这一辉煌的成果至今仍然是人类宝贵财富. 逻辑推理建模方法是一种重要的建模方法

8.1随机存储器(rAM) 8.2只读存储器(ROM) 8.3可编程器件概述

5.1 触发器的电路结构与工作原理 5.2 触发器逻辑功能的转换 5.3 触发器的工作特性与参数

一、有关概念 二、逻辑结构及特点 三、存储结构 四、有关操作 要求：熟练掌握上述内容及有关操作的算法实现

《电子技术基础》课程教学资源（模拟电子技术）PPT课件讲稿：第十二章 时序逻辑电路——时序电路的结构框图

1.树的定义(逻辑结构) 2.树的定义(递归结构)