论文部分内容阅读
探讨了利用数据结构中广义表的特性来设计命题逻辑表达式在计算机上的逻辑结构和存储结构，以及在这种结构上如何实现它的基本操作，进而实现其它复杂的等值演算
命题逻辑等值演算的计算机求解方法
【摘 要】
：
探讨了利用数据结构中广义表的特性来设计命题逻辑表达式在计算机上的逻辑结构和存储结构，以及在这种结构上如何实现它的基本操作，进而实现其它复杂的等值演算
【机 构】
：
信阳师范学院计算机系,信阳师范学院数学系
【出 处】
：
信阳师范学院学报(自然科学版)
【发表日期】
：
1999年02期
其他文献
服务业的国际转移成为了当今经济全球化的显著特征。服务业FDI和跨国公司的业务离岸化是服务业国际转移的主要方式。其中,跨国公司经由FDI在海外进行的业务离岸是重要的转移
社会经济的快速发展和信息网络技术的与时俱进,为高校校园建设的可持续发展提供了重要契机和良好的社会环境,特别是在"互联网+"的时代背景之下,现代网络技术、现代信息技术逐
对于房地产开发企业来说,要想获得更大的经济效益,必须做好财税管理。调查发现,很多房地产开发企业对财税管理都不重视,导致企业成本不断上升,对企业可持续发展造成不利影响
随着Internet与Web技术的日臻成熟,以及电子商务的蓬勃发展,在线大规模定制逐渐成为一种重要的商业模式。客户需求是大规模定制中产品配置的最初来源。在线大规模定制的关键
随着社会经济的高速发展,美丽乡村建设取得了一定成效。但在建设美丽乡村的过程中,乡村人居环境已成为一个重要课题。如何改善乡村原有的生活环境,促进乡村环境的和谐发展,已
在转轨经济背景下，随着我国加入WTO，国内金融体系的改革也显得更加迫切。商业银行在我国的金融体系当中始终居于主导地位，国有商业银行又是我国银行业的主体，中国金融体系改革的
本文选取闽、浙、赣三省村级以上地名通名,从语言、文化角度对其进行描述、分析,探讨其来源、历史层次及其所反映出来的较为明显的地域文化特色。全文主要分四部分:第一部分