论文部分内容阅读
通过对修正的RDP逻辑系统的研究,给出该系统中F（S）关于~同余的一个分划;并给出修正的RDP系统中广义重言式之间的一种升级算法及其性质,证明在修正的RDP系统中,重言式不可能由对非重言式进行有限次升级算法得到.
修正的RDP系统中的一种升级算法及其性质
【摘 要】
：
通过对修正的RDP逻辑系统的研究,给出该系统中F（S）关于~同余的一个分划;并给出修正的RDP系统中广义重言式之间的一种升级算法及其性质,证明在修正的RDP系统中,重言式不可能由对
【机 构】
：
延安大学数学与计算机科学学院
【出 处】
：
云南师范大学学报：自然科学版
【发表日期】
：
2015年6期
【基金项目】
：
陕西省自然科学基金资助项目（2014JM2-1003）,陕西省科技计划资助项目（2014ks15-03-07）,延安市科技计划资助项目（2013ks-03）,延安大学自然科学专项基金资助项目（YDQ2014-45）.
其他文献
在天津市静海区主要农作物生产过程中,植物保护主要是通过多个学科结合,以科学的、有效的方式避免植物受到伤害,来提高生产投入回报率,植物保护是保证农作物安全生长的主要手
采取德尔菲法构建了现代宠物技术教学资源库使用效益评估指标体系1．0，为资源库建设发展提供科学依据。该体系主要由用户、建设运行及组织发展等3个一级指标，包括12个二级指标，36
胶态成型工艺要求制备高固相含量、低粘度的浓悬浮体.由于复杂的胶体特性,金红石典型配方中含有的多种烧结助剂对金红石粉料在水介质中的分散行为往往产生较大影响.本文采用
为了实现榆林市的现代化林业建设与发展,发挥该地区的资源优势,在本文中,靖边县某林场根据榆林市生态林业建设模式的分析,充分借鉴相关的建设经验,为其提出有效的解决对策,要
固体脂质纳米粒是近年来发展起来的一类新型载体给药系统,由于其长效、无毒、良好靶向性等优点,拥有广阔的发展前景.本文参考了国内外诸多有代表性的论文,就这类载体的制备、
利用人工繁殖受精卵孵化出的点带石斑鱼仔鱼,在盐度3%、pH7.9、水温26℃的情况下,对其营养转换期的摄食与生长情况进行了观察研究.结果表明:(1)点带石斑鱼卵为少黄卵.仔鱼刚
针对三轮分布驱动管内移动机器人在弯管处的通过性问题进行了研究,提出了分布驱动协调控制方案.仿真实验证明:该方案对各驱动轮的初始速度偏大和偏小的情况均具有较好的适应
提出了一种采用单目视觉和多超声传感器来识别门牌号的室内移动机器人全局自定位方法和导航策略.机器人通过搜索并识别走廊中各房间的门牌号码来实现自身的定位与导航.此外,
超薄切片和负染色技术检测栉孔扇贝和海湾扇贝病原体感染状况,结果表明:在栉孔扇贝大规模死亡的7、8月份,病毒检出率分别为80%、100%,此时,病毒感染强度也达到最高;而海湾扇
对信息技术在农机技术推广种的实际应用进行分析,对当前存在于农机技术中的问题进行深入研究,提高信息技术在农机技术当中的作用和价值,为农业经济的发展提供切实有效的保障