排序方式: 共有8条查询结果,搜索用时 375 毫秒
1
1.
本文给出了一道不定积分的多种解法,此题在同济大学数学系主编的高等数学教材中是第四章课后习题中的一道题,一些学校的研究生入学考试题中也有此题,一道不定积分题,可以从多种角度,运用不同的基本方法来求解.求不定积分是一元函数微积分学难点之一,虽然教材上给出了四种基本方法,但在解题时,初学者仍不能灵活运用,为了丰富初学者的解题经验,本文从一道基本题,进行多方住剖析。 相似文献
2.
3.
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格,讨论了关于L(Q)模型的初等子模型的一些性质,如强升和强降L-S-T定理,初等图像在初等扩充下的保持性等。 相似文献
4.
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理。 相似文献
5.
( )(Q)格值模型的省略型定理 总被引:1,自引:1,他引:0
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理. 相似文献
6.
7.
(Q)格值模型论的紧致性定理 总被引:2,自引:0,他引:2
对的格值模型,取其论域A的幂集S(A)的一个子集q及A中一组元素,把(Q)中公式Qx(x,)在(,q)中处的值定义为,则(,q)就构成(Q)的一个格值弱模型.本文对(Q)的格值弱模型证明了紧性致定理。 相似文献
8.
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理。 相似文献
1