机器学习：一种逻辑强化学习的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定时器及其应用

新疆大学：《数字逻辑电路》课程教学资源（PPT讲稿）数字电路课程小结及试题分析（2010）

一、单极型MOS(Metal Oxide Semiconductor)集成电路分PMOS、NMOS和CMOS三种。 二、NMOS电气性能较好，工艺较简单，适合制作高性能的存储器、微处理器等大规模集成电路。 三、而由NMOS和PMOS构成的互补型CMOS电路以其性能好、功耗低等显著特点，得到愈来愈广泛的应用。 四、主要介绍NMOS和CMOS门电路