计算机逻辑相关论文
计算机科学史的研究忽略了计算机技术细节,根植于可计算理论的逻辑基础。可计算理论是计算机科学发展的基础核心,逻辑与工程技术的......
引入周期BZ-代数和BZ-代数的周期部分概念，研究了闭理想和周期零对称BZ-代数的关系。得到如下主要结果：设（X；＊，0）为零对称BZ-代数，P（X）={x∈X......
上海福新面粉有限公司系上海良友（集团）有限公司、上海面粉有限公司共同投资1亿元人民币组建。公司从瑞士、意大利引进具有国际先进......
给出了一个基于真值表原理进行逻辑论证的有效性判断的简化算法.此算法可以减少手工列真值表判断的计算量，也可由计算机直接实现.......
【正】 数字计算机是根据逻辑来判断和决策的。逻辑,也象二进位数一样,是运用电子线路的两种稳定的状态而有效地起作用的。在二进......
美国克莱斯勒汽车公司研制的亲一代汽车，用操纵手柄取代转向盘和脚踏板。即通辽计算机逻辑运算控制汽车的加速、转向和制动。这项新......
【正】 提出的定义电子计算机属于某种专门的技术领域,而且,它们还引起了一些专业性的伦理学问题。在本文中,我将讨论:是什么使得......
引入弱结合BZ－代数，并揭示其特征性质；讨论了BZ－代数类中各子类间的关系。...
