共查询到20条相似文献,搜索用时 0 毫秒
1.
给出Monadic分划逻辑初等等介的一个代数刻画,从而把Fraisse定理从一阶的情形推广到了Monadic分划逻辑的情形。 相似文献
2.
作者获得并证明三值命题逻辑MP与MP^*、三值谓词逻辑MF与MF^*以及带等词的三值谓词逻辑ME与ME^*的Craig中插定理与Herbrand定理。 相似文献
3.
科技英语中的逻辑判断在科技文献的理解与翻译中十分重要,它既包含语言逻辑判断也包含技术逻辑判断,本文从词汇的某些方面探讨了科技英语中的语言逻辑与技术逻辑判断与翻译.给出典型示例说明科技英语中语言逻辑与技术逻辑判断对正确理解并翻译科技文献的重要性 相似文献
4.
Weierstrass定理是数学分析中关于连续函数的一个重要性质,通过构造 某区间上用矩阵表示的连续实值函数,使它在该区间上满足Weierstrass定理的条件来证明矩阵的行列式大于零,同时得到了一些有用的结论。 相似文献
5.
夏英卓 《中国新技术新产品精选》2013,(3):33-33
技术路线图目前在国外广泛应用于企业,产业等方面,技术路线图在运用中是作为一种科技管理的技术手段。对于现在国家产业发展,技术发展以及国家政策的实施都有着非常广泛的运用。技术路线图在不断的发展,完善,向着更多的领域发展。在科技管理中,应用前景非常好。 相似文献
6.
7.
张彩霞 《哈尔滨商业大学学报(自然科学版)》2005,21(6):794-796
对区间套定理给出一个推论,然后建立了四个引理.在此基础上通过构造区间套依次证明了罗尔中值定理、拉格朗日中值定理和柯西中值定理. 相似文献
8.
Heine定理在极限判别及运算中的应用 总被引:1,自引:0,他引:1
鲜思东 《重庆邮电学院学报(自然科学版)》2006,18(1):138-140
在极限判断与求解中,函数极限与数列极限有许多类似之处,Heine定理就是联系这二者的纽带。结合工科数学分析教学实践.通过实例介绍Heine定理在优化极限判断及运算中的应用,给出了Heine定理在极限运算中的优越性。 相似文献
9.
郭朋贵 《高等函授学报(自然科学版)》2006,19(1):45-46,55
微分中值定理是微分学的基本定理。泰勒定理、罗必塔法则、函数的单调性与极值以及函数的凹凸性等涉及到的大量的定理和结论,都是微分中值定理的理论推导应用。深入研究微分中值定理,有助于加深对这些定理的理解;清楚这些定理的证明,能促使学习者掌握微分中值定理的具体应用。 相似文献
10.
11.
本文简明介绍可编程逻辑器件的结构、特点,阐明了可编程逻辑器件与定制器件相比较所具有的优点,以及在教学实验中的应用前景。 相似文献
12.
13.
刘建军 《河北师范大学学报(自然科学版)》1989,(1):105-109
本文给出了Feynman-Hellman定理的一种证明方法,并把它应用于量子力学中的几个具体而重要的问题,得到了有用的结果. 相似文献
14.
鲜思东 《重庆邮电大学学报(自然科学版)》2006,18(1):138-140
在极限判断与求解中,函数极限与数列极限有许多类似之处,Heine定理就是联系这二者的纽带。结合工
科数学分析教学实践,通过实例介绍Heine定理在优化极限判断及运算中的应用,给出了Heine定理在极限运算
中的优越性 相似文献
15.
16.
17.
王郁昕 《北京联合大学学报(自然科学版)》2005,19(4):9-13
互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一. 相似文献
18.
19.
提出的吸收定理是建立在双口网络定理一基础上的一种新的网络分析方法。当双口网络的两端口负载及其内部某一特定支路(包括含源支路)元件参数变化时,应用吸收定理将使分析过程大大简化。 相似文献
20.
浅谈微分中值定理的应用 总被引:1,自引:0,他引:1
介绍了常用的微分中值定理罗尔定理、拉格朗日定理、柯西定理,论述微分中值定值在证明方程根的存在性、证明等式、证明不等式、研究函数的性质、求近似值或估计误差、求极限等6个方面的应用,从而加深对微分中值定理的理解。 相似文献