论文部分内容阅读
将软件学中的演绎元、极大缩减和极小减集等概念引入到与R0命题逻辑系统相对应的语义代数—R0代数中.研究各自的重要性质,给出R0代数极小减集的等价刻画以及R0代数极大缩减存在的充要条件.为在多值逻辑中实现软件的计量化奠定基础.
R0代数中的极大缩减
【摘 要】
：
将软件学中的演绎元、极大缩减和极小减集等概念引入到与R0命题逻辑系统相对应的语义代数—R0代数中.研究各自的重要性质,给出R0代数极小减集的等价刻画以及R0代数极大缩减存
【机 构】
：
兰州理工大学理学院
【出 处】
：
兰州理工大学学报
【发表日期】
：
2015年4期
【基金项目】
：
国家自然科学基金（11261032）
其他文献
中国省域城乡收入差距与地方政府在城市和农村间有偏向的政策导向以及人口跨省流动密不可分。本文基于31个省市2002—2013年政府工作报告构建政策偏向指标并匹配经济数据,利
以我国重要食用的淡水鱼之一,白鲢鱼为原料,采用涂有聚二甲基硅氧烷-二乙烯苯(PDMS-DVB)涂层的固相微萃取头萃取挥发性成分,以鱼肉气味成分中含量比较多的物质(己醛、己醇、
<正>前言随着社会经济的发展,人们生活水平质量的提高,室内环境设计也越来越受到人们的重视,环境设计会直接影响到使用者的心境。当今,一种简洁的设计风格正开始在设计里流行
城乡医生个人收入贫富分化的客观存在,对我国卫生事业尤其是农村卫生事业的健康发展产生消极影响。文章对这一现状进行了详尽分析,并有针对性地提出解决问题的建议和方法。
目的探讨胰腺炎患者采用清胰汤加减辅助常规西药治疗的临床效果及对胃肠功能的影响。方法选择74例确诊为胰腺炎的患者为研究对象,随机分为对照组和观察组,各37例,对照组患者
<正>4月13日,习近平总书记在庆祝海南建省办经济特区30周年大会上宣布了一件大事:党中央决定支持海南全岛建设自由贸易试验区,支持海南逐步探索、稳步推进中国特色自由贸易港
抗战时期中华民族精神是中华民族在长达14年反抗日本侵略的民族解放战争中所表现出来的主体精神。抗战时期中华民族精神的形成有着多方面的原因:传统民族精神的积淀是其形成
目前治疗直肠癌的方式以手术治疗为主,而近年来推广的腹腔镜技术因其切口美观、出血少、疼痛轻、术后恢复快、术后住院时间短等微创优势越来越受到青睐。同时,腹腔镜直肠癌手
近年来,会计信息失真越来越成为公众关注的焦点,如果会计信息不能真实客观地反映企业的财务状况和经营成果的实际情况,将会误导会计信息使用者做出错误的决策,那么,会计工作