10.3969/j.issn.1009-3044.2007.02.084
命题逻辑等值演算的计算机实现
本文针对等值演算理论,通过数据结构和C++程序设计语言,分析了命题公式的逻辑结构,设计出用广义表单链表的存储结构,并在此基础上探讨了如何实现其基本操作,从而进一步阐明了复杂等值演算的计算机实现算法.
命题逻辑、等值演算、数据结构、广义表、计算机实现
1
TP301(计算技术、计算机技术)
河南省自然科学基金2005JJN-089;郑州轻工业学院校科研和教改项目
2007-04-16(万方平台首次上网日期,不代表论文的发表时间)
共3页
475-477