逻辑分析卡的硬件设计

逻辑分析仪是数字域检测的基本仪器，它在数字电路中的作用相当于时域测量中的示波器，在微机上开发逻辑分析仪系统，可充分利用微机的硬、软件资源，有较高的性能价格化，使用方便，功能易于扩充。文中对逻辑分析仪作了简单介绍，探讨ＢＨ－Ｌ３２逻辑分析卡硬件设计的基本原理，介绍了实际调试该逻辑分析卡过程中的一些问题。     

构造性逻辑否定排中律吗

构造性逻辑是以否定排中律的前提而构建的一种非经典逻辑系统，但是把构造性逻辑和排中律对照起来看，事实并非如此。在构造性逻辑中，否定符所代表的意义已经不同于其在经典逻辑中的意义，当我们把经典逻辑中排中律的形式放到构造性逻辑中，该形式已经不能表现排中律的实质。所以，构造性逻辑只是在形式上而非实质上否定了排中律。     

可编程逻辑器件及在教学实验中的应用前景

本文简明介绍可编程逻辑器件的结构、特点，阐明了可编程逻辑器件与定制器件相比较所具有的优点，以及在教学实验中的应用前景。     

中学数学教学的逻辑价值

数学教学的逻辑价值是指逻辑在数学教学中的意义。正确理解和分析逻辑、数学及数学教学的本质及其关系认识和把握数学逻辑价值的基础，数学与逻辑均为“形式科学”和“工具科学”，其发展相互影响、相互推动。数学教学要“重视逻辑”，但“数学不等同逻辑”。逻辑影响和制约数学教学的整个过程，它在数学教学中具有众多的辅助作用。     

直觉模糊逻辑中的归结原理

在模糊逻辑归结原理的基础上，用（０，１）中的两个实数表示一个命题“真的程度”和“假的程度”，从而提出了直觉模糊逻辑，本文提出直觉模糊逻辑的归结原理，并证明其完备性。     

科技英语中的语言逻辑与技术逻辑判断

科技英语中的逻辑判断在科技文献的理解与翻译中十分重要，它既包含语言逻辑判断也包含技术逻辑判断，本文从词汇的某些方面探讨了科技英语中的语言逻辑与技术逻辑判断与翻译．给出典型示例说明科技英语中语言逻辑与技术逻辑判断对正确理解并翻译科技文献的重要性     

逻辑相邻与输入变量数的关系

本文从最小项和逻辑相邻的概念出发，论述了逻辑相邻与变量个数的关系。使逻辑设计中的相邻问题与变量个数建立了对应关系。     

有限Atanassov逻辑代数及其广义重言式

讨论了有限Atanassov直觉模糊逻辑代数，给出判别其子代数的充要条件，并将王国俊教授在逻辑系统W，W^-，Wn中的广义重言式理论推广并用到Atanassov逻辑中，证明了在Atanassov逻辑中不存在绝对重（假）言式，广义重言式不随系统变大而增多和广义重言式前缀（α，β）具有不敏感性。     

卡诺图在逻辑函数化简与运算中的应用

卡诺图是逻辑函数的一种表示方式，对于逻辑变量个数不多于5个的逻辑函数的化简和运算，采用卡诺图法具有直观简便的优点，故得到广泛的应用。本文介绍一种卡诺图的快速填充方法，以及卡诺图在函数化简和运算中的应用。     

逻辑功能与逻辑体制

对同一逻辑门电路，既可采用正逻辑体制，亦可采用负逻辑体制，还可采秀混和逻辑体制，选用何种逻辑体制，应视分析和设计逻辑电路的方便与否而定。     

逻辑推演--程序设计在现实生活中的应用

“逻辑推演”是指利用已知信息，通过分析和判断，得出未知信息的过程。计算机解决逻辑推演问题要依靠逻辑表达式。本文结合逻辑推演，剖析了程序设计在现实生活中的应用。     

通用阵列逻辑GAL器编程方法的研究

介绍了通用阵列逻辑ＧＡＬ器件的输出逻辑宏单元结构及组态模式，重点就ＧＡＬ器件编程中选择输出方式，合理分配引脚处理相邻性问题，选择逻辑问题的描述方式以及ＡＢＥＬ软件编辑中的几个技术问题进行了分析与探讨。     

论周礼全的辩证逻辑思想--兼论逻辑研究中的极左思潮

周礼全先生倡导亚里士多德的大逻辑观，极富远见，并身体力行，在菜式逻辑，模态逻辑，语言逻辑与辩证逻辑诸分支都有建树，他认为黑格尔的辩证逻辑是认识逻辑，是将形式逻辑的精华按认识过程的编排，是一部完整的辩证认识论，一种新的逻辑类型。     

模糊知识体系逻辑扩展能力评价模型研究

以真度测度区间的兼容性和推理结果的逻辑语义一致性为评价指标，在模糊逻辑知识体系和二值逻辑知识体系间严格定义了一种模糊知识体系逻辑扩展能力评价模型，并给出对典型加权模糊逻辑的详细评测过程，这个模糊知识体系的逻辑扩展能力评价模型，可对各领域模糊知识体系对二值逻辑知识体系扩展的合理性程度进行评测。     

法律逻辑简论

法律逻辑是一门学科,有其独立的研究对象,是一门主要研究法律思维形式及其逻辑方法的科学,法律逻辑可归属于应用逻辑之列。法律逻辑的研究包括两个层次：逻辑在法律中的应用与系统化的法律逻辑。     

逻辑函数中的约束项与任意项

逻辑函数中的约束项和会意项是两个不同的概念，但就它们对逻辑函数的影响而言，又没什么不同。本文在指出它们的不同基础上，说明在逻辑函数中又不加区别的原因。     

如何对待传统逻辑与现代逻辑——兼谈逻辑学教学体系的构建

传统逻辑并非完全过时，“取代论”者之所以主张用数理逻辑代替传统逻辑，是由于他们将“传统”与“落后”相等同，“现代”与“先进”相混淆，从而将传统逻辑看作是“落后的”、“过时的”逻辑，现代逻辑被视为“先进的逻辑”。尽管传统逻辑与现代逻辑在其研究的对象、内容、方法以及适用范围等方面有许多不同，但它们之间并非是完全对立的两极。传统逻辑与现代逻辑的某些内容是可以相容的。传统逻辑现代化的前提是保留传统逻辑，而不是取代传统逻辑。构建逻辑学教学体系要正确处理好传统与现代之间的关系，要相互吸收、借鉴、兼容，反对机械拼凑和生搬硬套，反对一刀切。要根据学科自身发展的规律和教学改革的需要，构建适合不同专业、不同知识背景、不同教学及授课方式的教学体系。     

认知逻辑中逻辑全知问题及其解决方法

分析认知逻辑中的逻辑全知问题及其解决方法， 提出一种可以避免逻辑全知的认知逻辑 Ｅ Ｌ， 并给出其语义和公理系统     

英语篇章写作中线式结构与螺旋结构的对比分析

英语篇章写作是英语学习过程中的的重要技能，并受到学习者的关注。通过对汉英语篇逻辑模式的对比分析，可以发现汉语和英语语篇在不同程度上分别受到了线式和螺旋推理逻辑的影响，同时也体现了中国文化取向模式与英美文化取向模式的共存。     

可编程逻辑器件在教学实践中的应用

本文分析了可编程逻辑器件的特点及在教学实践中的应用优势，并介绍了可编程逻辑器件在教学实践中的应用，并给出了一个基于可编程逻辑器件的课程设计实例．