论文部分内容阅读
目的研究可与三角模构成伴随的蕴涵算子,即正则蕴涵算子.方法非经典数理逻辑的语义理论.结果对正则蕴涵算子的定义进行了简化,进而介绍了一种生成正则蕴涵算子的方法,最后就某些具有特殊性质的正则算子进行了研究,得到了相应的函数特征.结论正则蕴涵算子对于建立完备的逻辑系统至关重要.
关于正则蕴涵算子
【摘 要】
：
目的研究可与三角模构成伴随的蕴涵算子,即正则蕴涵算子.方法非经典数理逻辑的语义理论.结果对正则蕴涵算子的定义进行了简化,进而介绍了一种生成正则蕴涵算子的方法,最后就
【机 构】
：
陕西师范大学,陕西师范大学
【出 处】
：
西北大学学报：自然科学版
【发表日期】
：
2005年6期
【基金项目】
：
中国科学院资助项目
其他文献
现今，随着绿色学校创建、温馨班级建设等工作的不断推进，我们的众多班级和师生，也开始了校内、班内的养花种草，在美化环境的同时，也同样充分挖掘了其育人价值，发挥了其巨大的教育功能。 一、从绿色环保迈向绿色德育 也许最初，我们在班级中开展的养花种草，种养各种植物，或是为了美化学习场所，或是用来宣传环保绿化，抑或是将适量的花草点缀在求知的环境中，以适当缓解学生的学习劳累。因为几盆青翠欲滴的绿色植物，一
【摘 要】在20世纪70年代至80年代初，学术界就已经开始了对儿童语言的感知研究。而英语作为一种语言学科，自从列入中国的义务教育体系中，一直为小学教学课堂上最为关注的课题研究点之一，研究的内容最多的就是“To speak English well”。对于如何说好英语，本文着重分析了小学英语朗读教学模式的策略构建。 【关键词】小学英语 朗读教学模式 构建 一、构建小学英语朗读教学模式的重要性
古琴是中国古代地位最高的乐器并且位居在“琴棋书画”之首，以其特殊的音质和品格，集中体现了中国传统文化中所追求的清、徵、淡、远的审美意境和艺术精神，深深的被古代的文人做
朝天椒是对辣椒果朝天（朝上或斜朝上）生长的品种群的统称，目前朝天椒已成为全国栽培面积最大的干椒品种系列。市场上推广的朝天椒品种比较多，品名五花八门，科学地选用朝天椒品种是
华罗庚先生说过，“如果不做足够数量的习题，那就好比入宝山而空返”。我们都知道数学学习，做题是相当重要的环节，它的重要性仅次于听课。通过做题，可以巩固课堂上所学的知识，对数学
大学文化是在大学历史发展过程不断创造、总结、积累下来的物质财富与精神财富的总和，是大学入对大学精神、物质、行为和制度等方面的具体认识。随着市场经济的发展和人们对物
我国目前的司法为贯彻落实国家的法律法规，解决纠纷，构建和谐社会，保障市场经济的发展，维护人民的合法权益，作出了重大贡献。但另一方面也要看到，我国的司法状况还不尽如人意，司法不
企业大佬们在忙啥？汇源的朱新礼在北京郊区运作了一片有机农产品生产区域，从果农变身菜农；万达的王健林斥资数亿在延庆种菜；宁高宁更不用说，一直倾力农产品全产业链的打造，不久前刚
用传统的手术方式治疗高位肛痿有肛门括约肌损伤、手术瘢痕挛缩导致肛门畸形、手术创面愈合时间较长等缺点。如何选择一个较为合理的治疗方案，以达到降低手术后复发率，减少手术
目的研究合成的3种稀土（Pr,Sm,Dy）同水杨醛-1H-苯并三唑乙酰腙（C15H13N5O2,简称SBTH,以下用H2L表示）的配合物与小牛胸腺DNA作用机理。方法吸收光谱和荧光光谱。结果配合物的紫外