一、实验目的 1．掌握中规模集成译码器、数据选择器的逻辑功能和使用方法。 2．了解译码器的应用。 3．学习用数据选择器构成组合逻辑电路的方法

在牛顿以前很久,已经有一些有胆识的 思想家认为,从简单的物理假说出发,通 过纯逻辑的演绎,应当有可能对感官所能 氨画知觉的现象作出令人信服的解释。但是 是牛顿才第一个成功地找到一个用公式清 楚表述的基础,从这个基础出发,他能用 数学的思维,逻辑地、定量地演绎出范围

新康德主义继承和发展康德的“哥白尼变更”学说，旨在超越以二 元分立和理性独断为特征的近代哲学的形而上学。他们或用生理学的新 发展来证明康德的“哥白尼变更”理论；或把客体当做主要对象，从对 数学的自然科学的研究中发挥康德的先验逻辑学说，致力于发现各门科 学的一般的逻辑结构或形式

产生于20世纪初的分析哲学，继承实证主义传统，运用现代 数理逻辑和语言分析，拒斥形而上学，认为哲学的主要任务是对 语言表达式的描述和解释，或把复杂的概念分析为简单的概念， 阐明后者之间的关系；或通过对语言的逻辑分析而解决哲学问题

2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

第一节 可行性分析与详细调查 第二节 管理业务调查 第三节 数据流程调查 第四节 数据字典 第五节 描述处理逻辑的工具 第六节 系统化分析 第七节 研究和确定管理模型 第八节 新系统的逻辑方案

1､约束项､任意项和无关项 （1）约束项 例如：有三个逻辑变量A､B､C，它们分别表示一台电动机正转､反转和停止的命令

在命题逻辑中，命题是命题演算的基本 单位，不关心每个简单命题反映的具体内容， 没有进一步研究命题的内部结构，因而在实 际应用中存在很多缺陷

1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论