L(Q)逻辑的完全理论

对一种附加量词L(Q)逻辑的一些模型论性质进行了讨论 ,用构造性证明方法证明了完全理论T和模型完全的一些等价条件 ,还给出了完全理论T的一种判定定理 ,为今后对L(Q)逻辑模型论做进一步研究提供了理论基础     

L (Q)格值模型的初等子模型

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格,讨论了关于L(Q)模型的初等子模型的一些性质,如强升和强降L－S－T定理,初等图像在初等扩充下的保持性等。     

新世纪教育的发展:挑战与机遇

我们所处的社会是个动态社会 ,社会变化的趋势成为不可逆转的潮流 ,它给新世纪教育的发展既带来严峻的挑战 ,也创造许多新的机会。人要适应不断变化的社会 ,需要长期的成人教育和不断的知识翻新。成人教育作为第三产业的重要成分而急速发展 ,是动态社会的一个本质性的现象。同时 ,国家必须下大力气 ,用足够的力量办好基础教育 ,专才教育与通识教育必须并重 ,教与学的手段一定要充分的电脑化、离散化 ,上好的人才要留得住、用得上 ,必须高度重视人才流失问题。     

幂矩阵的秩展开公式

设A是n级复数矩阵,E←可逆矩阵T,使A^m=Tdiag[J1^m,J2^m,…,J2^m]T^-1,其中：Ji（i=1,2,…,s）是初等因子（λ-λi）^ri所对应的若当块,并且∑i=1sri=n,借助等式rankA^m=∑i=1srankJi^m,利用rankJi^m的特点,分别从A是否可逆两个角度及幂指数m的不同取值范围,给出了幂矩阵A^m的秩rankA^m的展开公式。     

关于盖根堡多项式的一些恒等式

利用初等方法得到了关于盖根堡多项式的一些恒等式,在此基础上得到了关于勒让德多项式及契贝谢夫多项式的一组非常有趣的恒等式     

自同构群阶为p_1p_2…p_n或pq~2的有限群

本文讨论自同构群阶为n个不同素因子之积或一个素数与另一个素数平方的积的有限群,得出了它们的构造.     

一组对称函数的不等式

利用建立不等式的降维法，证明了一组对称函数的不等式．主要结果是：对于，I=(0，1)，g(t)=I/t，(x1，…，xn)∈I^n，Em(x1，…，xn)是初等对称函数，记s=a∑i=1xi，↓Am∈N，↓An≥m且n≥3，若0＜s≤，则Em[g(x1)，…，g(xn)]≥Cn^m[g(s/n)]^m。     

关于循环群和交换群的等价刻画

考虑某些交换子群具有特殊的正规化子,用初等方法证明了循环群和交换群的等价刻画:设G为有限群,则G是循环群当且仅当G的每个极小子群的正规化子皆是循环群;G是交换群当且仅当G的每个初等交换子群的正规化子皆是交换群.     

Almost every graph has a fixed edge

An edge e of a graph G is called a fixed edge if G-e+e′ G implies e′=e, and an isomorphic fixed edge if G-e+e′ G implies that there exists an automorphism of G-e, which maps the ends of e to the ends of e′. It is proved that almost every graph is with all its edges as fixed edges and isomorphic fixed edges, and it is conjectured that all graphs contain isomorphic fixed edges.     

2~3p~2阶群之构造的一点注记<正>

本文利用Fitting子群的扩张解决了2~33~2和2~37~2阶群的构造,证明了2~33~2阶群有50型,2~37~2阶群有44型。