世界文化史上的五种科学思维模式

思想方法的更新是人类进步的重要标志之一。对这种标志的认识,在哲学史和文化史研究中通常不被人们所重视。人类思想史上最鲜明、最有意义的科学思维模式,主要表现为本文论及的五种类型,这些思维模式的互补与进步,是东西方文明相互推进的内在标志;对它们的研究和探讨,是把握先进文化前进方向的重要前提。     

温公颐中国逻辑史研究方法论初探

温公颐先生中国逻辑史研究的方法论涉及一般原则和具体方法两个层面。其中,一般原则主要包括"贵有创见"、实事求是和发展的观点3个方面。具体方法主要有比较的方法、语言学的方法以及逻辑与历史统一的方法等。温公颐中国逻辑史研究的方法论,在一定意义上是对近代以来中国逻辑史研究中简单比附这一思路与方法的有力矫正。     

计算机化简逻辑函数的算法研究

针对计算机化简逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题，该文用改进的重复包含算法寻找逻辑函数的质蕴涵，选择极值法求最小覆盖，并对循环函数进行处理。实验表明，这种算法可以减少存储容量、加快运算速度，而且可以增大算法的应用范围。因此，该算法在数字电子设计自动化中具有广泛的应用前景。     

噪声干扰与计数器逻辑故障

在常用数字式计数显示仪表中，常常会出现计数混乱，本文根据噪声干扰的理论，从T210构成的异步十进制计数出错分析入手，分析其产生逻辑故障原因，重点阐述了“窜扰”对集成线路地影响，并提出解决方案。     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

坐标放样法测设线路横断面的技术方法

介绍了采用坐标放样的方式测设线路横断面的技术方法，并推导出了确定中线上任意位置的横断面计算公式。     

用可编程器件实现PWM

用GAL器件实现了脉冲宽度调制（PWM）。阐述了设计原理、设计实例以 及与单片机的接口。     

Fuzzy函数的化简问题

给出了Fuzzy函数的基本性质，纠正了杨纶标在[1]中的错误。     

论辩逻辑的理论渊源与现实应用

古代三大逻辑传统从其产生直到中古，都以对话和辩论的原则和技术作为重要的或主要的研究对象。从希腊逻辑发展而成的现代逻辑已经成为全人类共同的知识财富，现代逻辑的主流是被称为现代形式逻辑的数理逻辑。论辩逻辑服务于“取当求胜”，它属于并非形式化的逻辑。由于现实需要，特别是在法律论辩的活动中得到有效应用，论辩逻辑正在复兴，并有所创新，而且从中国名辩学和印度因明学中吸取营养。