简介：
简介：在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理.
简介：逻辑推理的方法和探索工具——类比思维若谷数学学习能使人聪明，故人们称数学是“思维的体操”类比思维就是“思维体操”中非常重要，非常关键的一节，著名数学教育家波利亚曾说过：“类比是获得发现的源泉，是最富创造性的逻辑推理方法和探索工具”。实际上，类比是根据...
简介：对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。
简介：爆炸逻辑网络是用炸药非常规爆轰特性实现的传爆序列，它由多个爆炸逻辑单元（逻辑零门、与门和破坏性交叉通路）组成，主要运用在定向战斗部等常规武器系统中，起引爆控制作用。2005年，研制出爆炸逻辑零门（设计参数间隙L为0．3～2．1）、破坏性交叉通路（设计参数夹角动35°～60°）。但是作为应用技术，爆炸逻辑网络的可靠性关系到整个武器系统可靠性，关系到武器能否准确打击预定目标。
简介：介绍了由可编程逻辑器件集成的数字预滤器(prefilter)的设计原理,该预滤器用于滤除某些输入信道的尖峰或毛刺干扰,提供了其IP软核(SoftCore)的状态机模型、原文件和仿真结果.设计软件中状态变量安排合理,换用其它器件或采用其它开发软件平台也不会造成上电紊乱,占用编程资源很少,模块具有简洁稳定性和可移植性.
集合与简易逻辑
一、简易逻辑自测自评
逻辑L′ω1ω及其上的几个保持性定理
逻辑推理的方法和探索工具——类比思维
论谓词逻辑推理中的量词加免法则
爆炸逻辑零门、破坏性交叉通路的可靠性
一种由可编程逻辑器件集成的数字滤波器的设计及应用
