论文部分内容阅读
本文针对等值演算理论,通过数据结构和C++程序设计语言,分析了命题公式的逻辑结构,设计出用广义表单链表的存储结构,并在此基础上探讨了如何实现其基本操作,从而进一步阐明了复杂等值演算的计算机实现算法。
命题逻辑等值演算的计算机实现
【摘 要】
：
本文针对等值演算理论,通过数据结构和C++程序设计语言,分析了命题公式的逻辑结构,设计出用广义表单链表的存储结构,并在此基础上探讨了如何实现其基本操作,从而进一步阐明了
【机 构】
：
郑州轻工业学院,郑州轻工业学院
【出 处】
：
电脑知识与技术(学术交流)
【发表日期】
：
2007年02期
【基金项目】
：
河南省自然科学基金资助项目(2005JJN—089);郑州轻工业学院科研基金
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
每个儿童都是独立存在的个体,芸芸众“生”,有着不同的生活习惯、行为特征、认知起点和表达方式。如何源自儿童需要又创造儿童需要？如何基于儿童现实又发展儿童可能？如何使得学
详细阐述了SiC_p/Al复合材料的粉末冶金制备工艺,包括混粉工艺(如球料比、球磨时间、球磨机转速),冷压成形(如压制压力、保压时间、静置时间等参数的选择),除气(如除气方法),
目的 讨论补阳还五汤配合脑苷肌肽注射液治疗老年性脑卒中疗效。方法 治疗组100例，随机选择102例以往用脑活素、胞二磷胆碱治疗的作为对照组。采用NIHSS和MBI对患者治疗前、后
小城镇是我国新型城镇化建设的重要组成部分,对于完善城乡结构、协调区域发展、弘扬地区文化等方面有着重要的作用。近年来,我国的小城镇进入了发展的“快车道”,大量的城镇
临床教学是医学教育的重要组成部分,是医学生提高专业素质的根本保障。临床教学阶段对于医学生来讲至关重要,也是医学院和教学医院的工作重心。现代社会对医生的要求越来越高
目的：分析防风、水防风、云防风和川防风 挥发油的化学成分。方法：用ＧＣＭＳ 法鉴定化学成分，ＧＣ 法测定各化合物在挥发油中的相对百分含量。结果：共鉴定了５８ 个化合物。结论：３ 个不同产地防