对“关于系统Z的一些意见”的意见

张清宇同志对张金成同志的系统 Z(见[2])以及我们对系统 Z 的评价(见[3])从三个方面提出意见。这些意见发表在文[1]中。针对文[1].我们也从相同的三个方面给予答复。一、关于 Z12在系统 Z 中的不独立性文[1]关于 Z12在系统 Z 中的不独立性的证明是成立的.对此我们表示欢迎。其实,我们在文[3]中关于系统 Z 的语义完全性的证明已经暗含着关于 Z12的不独立性的证明。因为在此证明中没有用到 Z12.而 Z12是系统 Z 的一个永真式.因而对于 Z12可按照此证明所给出的机械程序加以推正。需要指出.Z12原来被作为系统 Z 的一个公理.而现在只能作为系统 Z 的一个定理。这仅仅改变了 Z12在系统 Z 中的地位.而对于系统 Z 的推演能力和逻辑性质不产生任何实质性的     

一个实正定方阵行列式不等式的推广

本文得到一个关于实正定方阵行列式的不等式,它是文[1]中相应定理的指数型推广,同时,由其证明过程简便地得到文[2]中定理。文[1]给出了实正定方阵成亚正定矩阵~([3])的概念:设A(?)R~(t×n),R~t是n维实向量空间,若对任意0≠x(?)R~n,有xAx~T>0 (1)则称A是实正定方阵。记S=1/2(A+A~T),K=1/2(A-A~T),我们有:引理1~([3])设A(?)R~(t×n),则A是实正定方阵的充要条件是S是实正定对称阵。     

变分学基本引理的证明及其推论

本文对文[1]中变分学基本引理的证明进行商榷,给出几种新的证法.同时得到了几个关于可逆矩阵的有用推论.     

关于Fuzzy群概念的一点注记

Fuzzy子广群和Fuzzy子群的概念是1971年由Rosenfeld[1]给出的。本文用一个反例说明了匈牙利L·Filep在《Structureandconstructionoffuzzysubgroupsofagroup》一文[2]中的命题“群G的Fuzzy子广群必是Fuzzy子群”是错误的。同时证明了当G为有限群时，G的Fuzzy子广群和Fuzzy子群的等价性。还指出文[2]由上述错误命题推出的关于Fuzzy群的结构定理的证明是有问题的。事实上，它在有限群G条件下是成立的。此结果在1992年已经给出[3]。     

对《关于凸整边多边形》的几点注记

整边凸多边形是边长为正整数的平面凸多边形,关于整边凸多边形的性质和计数问题文[4]给出了一些结果.本文指出了文[4]中关于整边凸多边形计数公式的错误;并且介绍了Andrews对于整边三角形计数公式的一种简单的证明.     

Cauchy中值定理的又一个证明

借助笔者在文[1]中给出的引理1并应用反证法给出了柯西中值定理的一个证明，它与有关文献中的证法不同.     

再谈中心二次曲线渐近线的求法

文[1]给出了中心二次曲线渐近线方程的一种求法。本文又给出了另外三种求法，并给文[1]结论另一种证明。     

Weitzenbock不等式的加权推广

<正>在△ABC中,其三边之长分别为a、b、c面积为△,则有△成立,等号当且仅当a=b=c时成立,这就是著名的Weitzenbck不等式,第三届国际数学奥林匹克竞赛曾将此不等式的证明作为一道试题。关于它的证法已不下十种,笔者在文[2]中择其具有代表性的五种作了论述。历年来,人们绕有兴趣地探求着它的推广形式,主要有Finsler-Hadwiger不等式、Pedoe不等式等等,这在文[2]中均已论及。《美国数学月刊》1988年P.658上给出了如下的一个推广:     

关于单调函数的不动点问题

本文改进了文[1]中定理1的结论,并给出文[1]中定理1,2,3的一个综合证明。     

关于学报建设“毛泽东研究”名牌栏目的意见

毛泽东同志是我党、我军和中华人民共和国的伟大缔造者，毛泽东思想是我们党和国家的宝贵财富。中共中央在《关于进一步繁荣发展哲学社会科学的意见》(中发[2004]3号)中指出：“加强毛泽东思想、邓小平理论和‘三个代表’重要思想的研究，对于我国哲学社会科学繁荣发展至关重要。”湘潭是毛泽东的故乡，我校地处湘潭，有得天独厚的地域优势；     

甘肃省民政厅：从三方面入手，贯彻《意见》具体要求

《意见》下发后，甘肃省民政厅党组高度重视，近期专门向全省民政系统下发了《关于转发（民政部关于促进农民工融入城市社区的意见）的通知》（甘民办发[2012]5号），从3个方面提出了贯彻落实的具体要求。     

关于贯彻中组部《关于进一步加强和改进离退休干部党支部建设工作的意见》的几点意见

为了贯彻落实中组部中组发[2006]12号《关于进一步加强和改进离退休干部党支部建设工作的意见》精神,扎实推进我省离退休干部党支部建设工作,现将省委组织部、省委老干部局《关于贯彻中组部〈关于进一步加强和改进离退休干部党支部建设工作的意见〉的几点意见》(赣组发[2006]17号)刊登于下,请各市、县(市、区)委组织部、老干部局,省委各部门、省直各单位、各人民团体组织人事处、老干部处按照有关要求,结合本地区、本部门实际,积极组织实施。——编者     

关于一致连续性定理证明的注记

该文指出了文[1]在一致连续性定理证明中出现的错误,同时给出该定理的完整证明.     

李均林:踏遍青山人未老

粤办发[2008]8号文是广东省老区建设的一份纲领性文件,李均林敏锐地捕捉到这一点,在得到文件的传真件时,立即组织老促会的同志们进行学习,在第一时间向肇庆市领导提交了《关于贯彻落实省委书记汪洋同志的讲话和粤办发[2008]8号文的有关情况的建议》,催生了肇庆市肇办发[2008]13号文,即《关于进一步加强革命老区建设工作的实施意见》。13号文的出台,是一个重大举措,是强大的推动力,对肇庆市老区建设工作起到十分重要的作用。     

二元Hadamard不等式

文[1]拓广了一元Hadamard不等式,此不等式后以改写的形式收入文[2]中.本文将拓广的一元Hadamard不等式推广到二元函数的情形,此种推广原则上适用于n元函数的情形.有     

三个方向网上的二元周期样条插值问题

三个方向网上的二元样条逼近问题强烈地吸引着许多中外学者的兴趣.C.K.Chui 和王仁宏在[1]中用光滑余因子方法讨论了二元样条函数空间的维数.沙震在[2]中用 B—网方法给出了二元三次样条的插值与逼近.其后,徐利治等在[6]中也讨论了类似问题.关于双周期的二元三次样条空间问题,H.G.Ter,Morsche 在[3]中曾对该空间的维数作过猜测,但未予证明.最近,肖绍良在[4]中给出了该空间维数的证明和一组 B 样条基底.本文采用 B—网方法,继续这方面的工作:(1)讨论了一类单周期二元三次样条空间的维数、存在性唯一性及逼近度.(2)给出了一类双周期二元三次样条的插值及其逼近度.     

关于Fibonacci三角形与Lucas三角形

设F_n为第n个Fibonacci数,即f_0=0,F_1=1,F_n=F_(n-1)+F_(n-2)(n≥2),边长为Fibonacci数的Heron三角形称为Fibonacci三角形,文[1]中有如下猜想,当1≤k相似文献   

关于进一步加强和改进离退休干部党支部建设工作的意见

最近,中组部制定下发了《关于进一步加强和改进离退休干部党支部建设工作的意见》(中组发[2006]12号)。中共江西省委组织部、老干部局日前发出通知,转发了这一文件。现将中组部《关于进一步加强和改进离退休干部党支部建设工作的意见》刊登于下。——编者     

关于基本医疗保险异地就医结算服务工作的意见

人社部发[2009]190号各省、自治区、直辖市人力资源和社会保障(劳动保障)厅(局)、财政厅(局),新疆生产建设兵团劳动保障局、财务局:为贯彻落实《中共中央国务院关于深化医药卫生体制改革的意见》(中发[2009]6号)、《国务院关于印发医药卫生体制改革近期重点实施方案(2009～2011年)的通知》(国发[2009]12号)精神,     

组态混合因子与辐射寿命、辐射波长的关系

本文指出文[1]中一个公式的错误,根据文[2]给出了正确公式的证明。