关于共形映射的一个注记

指出Ｂｅｃｋｅｒ等人的文献中对一个重要定理证明中的错误,给出了正确证明,并用反例说明原证法不能成立。     

无限方阵的二平方和定理

证明了在有单位元的环上，任一无限方阵M都可唯一地表示为2个特殊形状无限方阵S及T的平方和．进一步讨论了当M为行列有限的无限方阵时S及T的形状．     

友谊第一!质疑万岁!

石永进与李建华二位同志在本刊2010年第2期发表了对我们"几乎一切Mersene数与Fermat数都是素数"一文的质疑.二位同志的质疑精神是很好的!二位是从事素数研究的工作者,上文中还提供了很多具体数据,这会受到读者的欢迎!我们更欢迎!     

关于素数的几个定理

本文用模型论方法证明了关于素数的几个定理.     

分析用电检查工作中需注意的问题及相关建议

用电检查作为供电企业用电经营管理中的重要环节,针对于目前全国不同程度的用电检查的违章情况以及窃电行为,笔者结合在供电企业多年的工作经验,经过对于用电检查工作中存在的问题进行简要的分析,文章提出了打击窃电的策略与方法,并且论述了提高用电检查效率的方法,以期对以后的用电检查工作提供一些参考。     

一种邏辑电路演算的初步耩作

在另一文中,我們介紹了几种基本电路以及由它們組成計算机电路的例子,该文是通俗性的介紹,所談的布氏代数方法現在已很通行。在該文例子的最后,出現了延迟元件“延”(以下改記作“D”),对于具有延迟元件的电路,其設計及化簡問題,用布氏代数就不够了。在这方面,現在已有几种邏輯性的数学理論(見文献),但作者謐为其构成形式不够滿意,或则失于散漫,或則比較奇特,作者企图将它們整理     

关于可补格的一种分类问题

本文讨论可补格的一种分类问题,它是由于考虑多值逻辑的判定问题而引起的.下面先谈一下它的逻辑来源,但这个问题也可看作是从格论本身自然提出的.在多值逻辑中,命题或谓词的真假值可以是一个格中的元素.在我们所讨论的狭义谓词演算良构式(即合式的公式)中,出现的逻辑符号限于命题连接词∧,∨,～及量词.真假     

电路与代数(一)

本文是一种资料的介绍,如作者所说:主旨在介绍某些电路的数学原理。但这样的资料,一方面对于装置电子计算机及其他自动控制机器有参考的价值,同时也有助于人们对于数学这门科学如何理论联系实际问题的理解。所以我们把它发表在这里。     

Goldbach猜想对于Peano公理组的条件独立性--对一些数论问题的逻辑讨论(Ⅰ)

用模型论方法证明了,在对于自然数系的Ｇｏｌｄｂａｃｈ猜想及一阶Ｐｅａｎｏ公理组的某种等 价表述下,前者在逻辑上独立于后者．此外,还宣布了一些其他结果．     

高校实验室安全培训和考试系统开发和应用模式研究

实验室安全教育空间被压缩,安全教育方式改革势在必行。江南大学开发了高校实验室安全培训和考试系统来应对改革的要求,其为高校实验室安全教育提供了一条便捷、高效途径。