中国社会科学院大学：马克思主义学院《逻辑学概论》课程教学大纲

6.1 概述 6.2 施密特触发器 6.3 单稳态触发器 6.4 多谐振荡器

机器学习：一种逻辑强化学习的tableau推理方法

《环球金融》：对全球金融监管的逻辑分析与历史分析（东北财经大学：禹钟华、辽宁大学:祁洞之）

5.1时序逻辑电路的特点和表示方法 5.2时序电路的分析方法 5.3寄存器 5.4计数器 5.5顺序脉冲发生器 5.6时序电路的设计方法

The need for a richer language In P, it is not possible to express assertions about elements of a structure. First Order Logic is a considerably richer logic than propositional logic, but yet enjoys many nice mathematical properties

Syntax Formation Rules for P The The Axiomatic Structure of P Theorems and Derived Rules

2.1 概述 2.2 半导体二极管和三极管的开关特性 2.3 最简单的与、或、非门电路

5．1 否定型等值式 5．2 量词分配等值式 5．3 范式 5．4 基本的推理公式 5.5 推理演算 5．6 谓词逻辑的归结推理法

6.4 多谐振荡器 6.5 555定时器及其应用