论文部分内容阅读
以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题（VDF问题）,即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况。
Π系统中公式的真值函数及真度分布
【摘 要】
：
以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题（VDF问题）,即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而
【机 构】
：
聊城大学数学科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2009年15期
【基金项目】
：
教育部科学技术研究重点项目（the Key Scientific and Technical Research Project of Ministry of Education of China under GrantNo.206089 ）
其他文献
火试金法是目前贵金属珠宝检测领域中检测金含量的仲裁方法,同样也广泛应用于各实验室对金含量的检测。其过程中的分金步骤在整个流程中起着举足轻重的作用,本文依据单一变量
集合划分问题对日常生活中的仓库装填问题，生产线排程问题有很大意义，但是无论采用精确算法还是启发式算法都不能很好求解。提出一种改进的分布估计算法，采用实数编码和基于矩阵
在2003年3月召开的十届全国人大一次会议上,由全国人大代表、中南财经政法大学教授叶青领衔、33名人大代表签名提出的建议说,我国的审计体制要顺应世界潮流,改"行政审计模式"
目的探讨结构-过程-结果护理模式在胃部手术后患者院外延续性护理中的应用。方法以2015年5月至2017年5月108例胃部手术患者为研究对象,随机分成观察组与对照组各54例。观察组
由于版权的原因，国外不少提供BitTorrent(简称BT}种子下载的网站被陆续关闭。在这样的形势下．eXeem应运而生．其集成了BT和kazaa的优势，成为下一代的BT软件。
根据GB/T 228.1-2010测定低合金高强度结构钢加工成的圆形拉伸试样的断后伸长率,然后对断后伸长率的测定结果的不确定度进行了分析评定。结果表明：该圆形试样的断后伸长率为25
阐述了施工索赔在我国建筑业中的重要性以及存在的问题，并进一步论述要搞好索赔工作，必须提高对索赔认识与健全，完善索赔管理机构。对施工索赔中出现的问题，提出了处理方法。
我国汽车座椅行业是在改革开放以来逐步发展起来的,汽车座椅生产厂家大多是从个体经营和小制作工厂的基础上逐渐壮大的,我国汽车座椅行业发展初期技术落后、制造设备陈旧、从
为了更好的推动能源计量工作，发挥第三方公正计量的作用，本文以厂房照明改造工程节能效益计算验证为例，提出了一种可靠、易行的能效测评方法，并给出节能综合评价结果。经测评验证