论文部分内容阅读
在格值逻辑框架下给出上下文无关文法及上下文无关语言的概念,给出格值逻辑意义下广义的格值子集构造方法,并证明了任一与除一步推导为格值以外,其余推导都是经典推导的之间的相互等价性。
格值上下文无关文法的代数刻画
【摘 要】
：
在格值逻辑框架下给出上下文无关文法及上下文无关语言的概念,给出格值逻辑意义下广义的格值子集构造方法,并证明了任一与除一步推导为格值以外,其余推导都是经典推导的之间
【机 构】
：
榆林学院数学与应用数学系
【出 处】
：
榆林学院学报
【发表日期】
：
2011年4期
其他文献
民事纠纷的顺利解决必须基于正确的事实认定,这就需要当事人运用证据对事实主张加以证明。然而,对争议事实加以证明有时是不必要的,有时则是难以获得的。民事推定的存在和适
[摘要]因式分解是初中數学的基本内容之一，在数学学习体系中占有很重要的地位。因此，掌握因式分解的方法与技巧对学生的数学学习很重要。在因式分解中活用数学思想，可以大大降低学习难度。[关键词]因式分解 技巧 数学思想
由一块红薯,发明十余项专利;再由这些专利技术的实施,启动一个新的产业,最终引发一场薯类革命。这就是四川绵阳国家高新技术开发区光友公司,六年来走科技兴薯之路所创下的业
<正> 在自然界,腐朽的植物体是许多真菌休养生息的乐园。每年的高温多雨时节,蓬勃而出的千奇百态的各种蘑菇,就是某些担子类真菌消化吸收植物体后吐故纳新的精华。真菌是一类
<正> 火山是地球的窗口,火山爆发是一种突发的自然现象。它既给人类带来灾难,也能为人类提供多种资源。火山爆发的利害评说,火山爆发的预报和监测,火山灾害的防治以及火山资
软式排球是当前世界各地广泛开展，在我国也备受重视的新兴的球类运动。它因其自身的许多特点，在我国很多地域都有开展，但在我省却未形成应有的气氛?本文通过一定范围的调查及实
[摘要]课堂是教育的主阵地，在新课标的背景下，传统的地理课堂教育模式已不适应素质教育的要求。因此如何构建地理学科高效课堂已成为广大教师要解决的首要问题。在阐明地理高效课堂构建的必要性与其意义的基础上，从充分的课前准备、培养学生能力、创建和谐师生关系三方面对地理高效课堂的构建进行简单的探讨。 [关键词]地理高效课堂 课前准备 师生关系 学习能力 一、构建地理高效课堂的必要性 地理学科作为一门基
[摘要]利用多媒体设备将各种图文影视等教学资源进行形象化呈现，很好地提高了学生学习历史的兴趣与学科能力，形成健康价值观。初中历史多媒体教学的有效策略主要有：一是变抽象知识为形象展示，加深学生对基本史实的理解；二是变知识灌注为能力培养，有效提升学生学科素养；三是变凌乱史实为整体线索，增强学生主干史实意识。 [关键词]初中历史多媒体教学有效应用 [中图分类号]G633.51[文献标识码]A[文章编
企业信息文化是一种企业文化，也是一种信息文化。企业信息文化的建设，对信息技术和信息系统在企业发挥作用具有非常重要的意义。加强企业信息文化建设是现代企业的当务之急，对推