论文部分内容阅读
在格值逻辑框架下给出上下文无关文法及上下文无关语言的概念,给出格值逻辑意义下广义的格值子集构造方法,并证明了任一与除一步推导为格值以外,其余推导都是经典推导的之间的相互等价性。
格值上下文无关文法的代数刻画
【摘 要】
：
在格值逻辑框架下给出上下文无关文法及上下文无关语言的概念,给出格值逻辑意义下广义的格值子集构造方法,并证明了任一与除一步推导为格值以外,其余推导都是经典推导的之间
【机 构】
：
榆林学院数学与应用数学系
【出 处】
：
榆林学院学报
【发表日期】
：
2011年4期
其他文献
民事纠纷的顺利解决必须基于正确的事实认定,这就需要当事人运用证据对事实主张加以证明。然而,对争议事实加以证明有时是不必要的,有时则是难以获得的。民事推定的存在和适
[摘要]因式分解是初中數学的基本内容之一，在数学学习体系中占有很重要的地位。因此，掌握因式分解的方法与技巧对学生的数学学习很重要。在因式分解中活用数学思想，可以大大降低学习难度。[关键词]因式分解 技巧 数学思想
软式排球是当前世界各地广泛开展，在我国也备受重视的新兴的球类运动。它因其自身的许多特点，在我国很多地域都有开展，但在我省却未形成应有的气氛?本文通过一定范围的调查及实
[摘要]课堂是教育的主阵地，在新课标的背景下，传统的地理课堂教育模式已不适应素质教育的要求。因此如何构建地理学科高效课堂已成为广大教师要解决的首要问题。在阐明地理高效课堂构建的必要性与其意义的基础上，从充分的课前准备、培养学生能力、创建和谐师生关系三方面对地理高效课堂的构建进行简单的探讨。 [关键词]地理高效课堂 课前准备 师生关系 学习能力 一、构建地理高效课堂的必要性 地理学科作为一门基
[摘要]利用多媒体设备将各种图文影视等教学资源进行形象化呈现，很好地提高了学生学习历史的兴趣与学科能力，形成健康价值观。初中历史多媒体教学的有效策略主要有：一是变抽象知识为形象展示，加深学生对基本史实的理解；二是变知识灌注为能力培养，有效提升学生学科素养；三是变凌乱史实为整体线索，增强学生主干史实意识。 [关键词]初中历史多媒体教学有效应用 [中图分类号]G633.51[文献标识码]A[文章编
企业信息文化是一种企业文化，也是一种信息文化。企业信息文化的建设，对信息技术和信息系统在企业发挥作用具有非常重要的意义。加强企业信息文化建设是现代企业的当务之急，对推