连续正整数立方和为素数方幂仅有唯一解

证明了连续正整数的立方和为素数或素数方幂仅有惟一解.     

Linguistic Truth Values Lattice Implication Algebras

In order to study uncertainty reasoning and automatic reasoning with linguistic terms, in this paper, the set of basic linguistic truth values and the set of modifiers are defined, according to common sense; partially orderings are defined on them. Based on it, a lattice implication algebra model L18 of linguistic terms is built; furthermore, its some basic properties are discussed.     

广义向量平衡问题解的通有稳定性

本文研究广义向量平衡问题,得到了广义向量平衡问题解的一个存在性结果,证明了在满足一定条件的问题构成的空间M中,大多数(在Baire分类意义下)问题的解集是稳定的.     

新会计准则体系的五大变化和创新

论述了新会计准则体系的五大变化和创新:即会计目标——由受托责任观向决策有用观转变;谨慎性原则应用——由过度谨慎向适度谨慎转变;收益的确认和计量——由利润表观向资产负债表观转变;会计计量属性——由历史成本一统天下向包括公允价值在内的多元计量属性并存转变;国际趋同——由重形式趋同向重实质趋同转变。     

素环上的广义导子

设R是素环,对于环R上的一个可加映射g,如果有R上的导子go使得g(xy)=g(x)y+xgo(y),#x,y∈R,就说g是R上的广义导子.本文主要讨论素环上的广义导子,并相应地推广了素环上的导子情况。     

关于图是可迹或1—哈密尔顿的两个充分条件

设G是一个图，G的独立集Y称为本质集，如果存在[y1,y2}属于Y，使得dist（y1,y2）＝2。利用插点方法，给出了关于（k-1）或(k 1)－连通（k≥2）图G是可迹的或1－哈密尔顿的统一证明。     

基于建构主义理论的中学信息技术教学

考虑到建构理论以学生为中心这个特点 ,通过问卷形式 ,从建构主义理论中学习环境的四大要素(即情境、协作、会话、意义建构 )出发 ,进行分析研究 ,发现现在的中学信息技术课堂是适合 ,而且极需要推行建构主义理论的 ,并就目前的客观条件 ,提出了一个逐步推行建构主义理论的可行性方案 .     

对蒋士荣"求诸约数法"的研究

对蒋士荣的“求诸约数法”进行了分析和研究 .在“求诸约数法”中 ,蒋氏不仅给出了一种判定素数的方法 ,此法相当于现今的“厄拉多塞筛法” ,而且利用蒋氏的“求诸约数法”可以将任意大于 1的正整数惟一地分解成算术基本定理形式 ,这在中国数学史和数论史上具有重要的意义 .     

素环上的一类非全局可导映射

设R是包含非平凡幂等元且有单位元的素环, Q={T∈R: T2=0}且δ: R→R是一个映射(无可加假设). 用代数分解方法证明了： 如果对任意的A,B∈R且［A,B］B∈Q, 有δ(AB)=δ(A)B+Aδ(B), 则δ是一个可加导子, 其中［A,B］=AB-BA为Lie积.     

实质蕴涵刻画推理的思考

用实质蕴涵刻画推理,尽管它不具有内容相关性和独立性,造成了反直观的“怪论”,但它概括了“如果,那么”这类联结词各种用法中的共性,在日常用法中有其经验根据,具有广泛的适用性和使用的方便性。相对逻辑学家己提出的各种刻画推理的蕴涵理论,用实质蕴涵刻画推理是比较好的推理理论。