New Develoopment of the Basic Theory of Extenics

In this paper,the new development of three basic theories of Extenics,incluing basic-element theory,extension set theory and extension logic theory ,has been introduced.And the new theoretical frame of Extenics has also been set forth.     

数学难以理解的逻辑透视

对数学教学内容的逻辑结构、逻辑规则和方法以及数学语言进行逻辑透视，探讨数学难以理解的客观因素及对策．     

PLC对电动机位移控制的制动实验

PLC应用微分算术左移 @ASL ( 2 5 )指令和微分算术右移 @ASR ( 2 6)指令 ,完成对3台电机的控制 .1 # 电机停止采用能耗制动控制 ,2 # 电机停止采用反接制动控制 .     

PLC在双动压力机控制系统中的应用

PLC应用:ROL(027)循环左移指令、ROR(028)循环右移指令完成自动与手动控制,INC(038)BCD码加1指令完成单次控制,@ROR(028)微分循环右移指令完成循环控制,DIV(033)BCD码除法指令完成安全工作报警控制.     

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

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

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

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

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

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

组合逻辑电路的无反变量输入设计

本文阐述了组合逻辑电路无反变量输入的设计思想，并通过设计实例给出了具体的设计方法与步骤．     

VHDL语言在EDA开发软件MAX＋PlusII之应用

介绍了EDA开发工具软件MAX PlusII的主要功能；VHDL语言在进行硬件电路描述时所具有的多层次描述系统硬件功能的能力，以及在程序编译时易出现的问题。     

浅谈数字逻辑实验教学改革

结合实验教学实际 ,对传统数字逻辑实验教学体系进行了改革 ,提出了在新形势下确立数字逻辑实验教学目标、内容、组织形式、手段和评价的措施 .