9.1 镜像电路 9.2 准nMOS电路 9.3 三态电路 9.4 时钟控制CMOS 9.5 动态CMOS逻辑电路 9.6 双轨逻辑电路

7.1 CMOS反相器的直流特性 7.2 反相器的开关特性 7.3 功耗 7.4 DC特性：与非门和或非门 7.5 与非门和或非门的暂态响应 7.6 复合逻辑门的分析 7.7 逻辑门过渡特性设计 7.8 传输门和传输管 7.9 关于SPICE模拟

2.1 理想开关 2.2 MOSFET开关 2.3 基本的CMOS逻辑门 2.4 CMOS复合逻辑门 2.5 传输门电路 2.6 时钟控制和数据流控制

研究推理的一门学科 数理逻辑：用数学方法研究推理的一门数学学科-------- 一套符号体系 + 一组规则

在日常生活中,科学研究、商业行为、法律政治、学文化乃至家庭生活都与逻辑有着密 切的联系,逻辑已经渗透到大千世界的每一个角落。人们总在自觉与不自觉间判定着两个事 物之间的关系。对于假言推理中的条件关系中形成的因果关系更是如此

5.1 一阶谓词逻辑 5.2 归结演绎推理 5.3 应用归结原理求取问题答案 5.4 归结策略 5.5 归结反演程序举例 5.6 Horn子句归结与逻辑程序 5.7 非归结演绎推理

2.1基本逻辑门电路 2.2TTL逻辑门电路 2.3CMOS逻辑门电路 2.4集成运放运算电路

为了在命题演算中,反映命题的内在联系,常常 要将简单命题分解成个体词、谓词、量词等,并对它 们的形式结构及逻辑关系加以研究,总结出正确的推 理形式和规则,这就是本章一阶逻辑要研究的内容

伊索寓言中有很多借动物讽刺人的可笑行为的故事,我试着从逻辑学的角度去看看 伊索寓言故事。 故事一:狼、狐狸和猴子 有一只狼控告一只狐狸偷了他的东西,狐狸不肯承认。猴子负责审判他们之间的纠 纷。当他们双方都充足的说明了自己的理由后,猴子郑重的宣判说:“狼,我不认为你 曾经丢失了你所说的东西;狐狸,我确实相信你曾经偷了你所不承认的物品。” 寓意是说不诚实的人即使做了诚实的事,也不会让人相信

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