新教材简易逻辑教学中存在的问题及解决方法

本文提出并研究了高中致学新教材简易逻辑教学中一些困惑的问题及其处理方法。     

基于GAL芯片的数字电路设计

简要阐述了可编程逻辑器件（ＧＡＬ）的原理及性能特点,并通过实例说明：（ＧＡＬ）芯片设计数字电路,具有电路设计简单、灵活性强、可靠性高。     

逻辑学及其在计算机科学中的应用

本文简单介绍了命题逻辑,一阶谓词逻辑,二阶逻辑,模态逻辑,时序逻辑,动态逻辑,模糊逻辑,非单调逻辑,组合逻辑及λ-演算等,讨论了它们之间的相互联系及各自在计算机科学,特别是在人工智能领域中的应用。     

利用谱方法设计三值T门组合网络Ⅰ:理论

讨论了三值函数的Walsh谱及其谱的一种分解方法。提出了求三值函数的Walsh谱系数的一种快速并行算法。这种算法可在三值函数的真值表阵列上方便地实现。给出了利用谱方法三值T门组合网络设计的一种方法。这种方法可使待设计的三值T门组合网络被化简到最小化或接近最小化,并且容易实现三值T门组合网络的自动综合。     

一维逻辑阵布图的一个启发式算法

一维逻辑阵布图中列排序问题已被证明是一个ＮＰ－完全问题，本文提出一个新的启发式算法，算法的时间复杂度为Ｏ，其中ㄧＧ｜是逻辑阵的总门数。Ｓ为单个线网连接的最多门数，ｒ为单门连接的最多线网数；其空间复杂度为Ｏ，其中ㄧＮㄧ为线网总数。     

基于完全剩余格值逻辑上的半群（Ⅱ）

该文给出了基于完全剩余格值逻辑上半群的理想，左（右）理想，双边理想等结构，并讨论了它们的某些代数性质。     

LISP-ELP语言的实现技术

LISP-ELP语言是作者设计的一种支持专家系统程序设计的函数/逻辑型程序设计语言,本文介绍LISP-ELP语言的特点及其解释系统的实现技术.该解释系统用C语言编写,并在IBM-PC机上实现.     

巨型广域网连接型通信的一种径路选择协议

在综述WAN标准网络径路选择协议的基础上，本文就连接型巨的WAN提出了一种径路选择方式。通过模拟实验与WAN标准径路选择协议进行了比较。实验结果表明：本文提出的径路选择方式适用于巨型WAN。     

现代性平民化自由人格的生成逻辑——一种基于康德金规则的分析

康德金规则,即"要仅仅按照你能够同时愿意它成为一条普遍法则的那样一个准则去行动",既是全球伦理基础的唯一金规则,也是多元社会道德价值基础的唯一金规则.在大众道德时代中产生的大众人格需求,以及能够获得大众的价值认同,从而形成道德共识的大众道德时代人格培育理想范式,是从现代日常生活生长出来且满足康德金规则的现代性平民人格.     

存在与认识：德日刑法定罪理论的逻辑困境

定罪论是犯罪存在论和认识论的统一。德日刑法定罪理论的存在论与认识论都有深刻逻辑矛盾,存在论是构成要件与违法性和有责性之间关系的矛盾,认识论是构成要件与符合构成要件事实之间关系的矛盾。这些矛盾的直接原因,是德日刑法的形式化犯罪定义。其哲学实质,是混淆了存在论与认识论的性质和功能。德日刑法定罪论根本特征,是三要件的形式化犯罪存在论与二分式的对抗性犯罪认识论相结合。