论文部分内容阅读
Institution中的liberal理论态射及正则序类方程逻辑的Lawvere定理
【机 构】
：
江西师范大学
【出 处】
：
江西师范大学
【发表日期】
：
1996年期
其他文献
给定有理数域上的ｎ元多项式f,假定其具有有限下界,考虑计算其在实数域上的全局下确界f*.更一般的,考虑计f,在由一组多项式等式限制条件定义的可行域上的下确界f*.假设可行域是
现在我国的课程改革正在如火如荼的进行,在全新的教学理念要求下,对现阶段我国小学数学课堂的教育也提出了更高的要求.要求小学数学在进行教学的过程中不仅要考虑学科自身的
2003年7月11日一大早,天上就淅淅沥沥地下起了小雨,萨尔乔克乡水管站站长奥汗拜看着乌云翻滚的天空,凭着他多年的经验,判定这雨一下就停不下来,山上有可能暴发洪水,他担心苏
非线性泛函分析作为数学中一个既有深刻理论又有广泛应用的研究领域，它以自然界中出现的非线性问题为背景，建立了处理非线性问题的若干一般性理论和方法.近年来，非线性微分方程
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
期刊
2004年1月16日(农历腊月25日),四川省南江县召开千人电视电话会议,部署在全县开展“争当人民群众好儿女”活动。春节期间,县委书记青理东没有回老家过年,却一头扎进秦巴山区
研究整体域K上椭圆E的supersingular素理想的分布是椭圆曲线算术理论的一个重要课题.对于K是数域的情形,见Deurint[2],S.Lang和H.Trotter[6],J.P.Serre[7],N.D.Elkies[3,4].
我们分四部分介绍.第一部分为Obata定理及其推广，第二部分为warped乘积空间中的自相似解以及加权的Minkowski不等式，第三部分为Bakry-Emery瑞奇曲率的单调性公式，第四部分为梯度
网络化多个体系统具有节约成本以及在复杂环境下适应能力强的优点,因而在很多方面得到了应用。网络化多个体系统包括很多方面,比如分布式协调控制、凸优化等等。其中尤其以一