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

本章概述 当代西方科学哲学主要是指以科学为研究对象的哲学。通常把波普尔之前 的诸科学哲学称作逻辑主义,其后的则为历史主义。实证主义是哲学史上头 一个打起“科学哲学”旗号的哲学流派但通常把实证主义、马赫主义、实用 主义、逻辑原子主义和逻辑实证主义以及流行于当代的日常语言学派,归属 于传统意义上的实证哲学、分析哲学或语言哲学。至于继波普尔之后的兴起 的历史主义学派和科学实在论,由于着重历史考察的方法,着重于科学本身 的探究,注重把哲学建立在科学知识和科学方法的基础之上,则归属于科学 哲学。这种科学哲学主要探讨科学理论的真理性标准或选择问题,以及科学 发展的模式问题,试图解释科学活动并为其提供方法论指导。本章主要介绍 的是波普尔哲学、历史主义学派、科学实在论和反科学实在论

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

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

本章首先介绍时序逻辑电路的特点、功能描述方法和一般分析方法；然后通过实例进一步论述基本分析方法和一些典型时序逻辑电路的组成、工作原理和特点

3.1 逻辑代数及运算规则 3.4 多输出函数的化简 3.2 逻辑函数的表示法及化简举例 3.3 卡诺图

2.1 基本逻辑关系及复合逻辑关系 2.2 TTL与非门 2.3 其它类型的TTL门电路

【题8.1】试分析图P8.1的与-或逻辑阵列写出Y1、Y2、Y3与A、B、C、D 之间的逻辑函数式

本章主要通过逻辑符号、集成电路的功能表、特殊引出端的控制作用等方面讲了几种组合逻辑器件

这章的习题可以分为两种类型:一类是用 Verilog hDl语言描述一个逻辑 电路;另一类是根据 Verilog HDl谙言的描述画出相应的逻辑电路图 用 Verilog HDL语言描述一个逻辑电路 解题方法和步骤: