等价命题
等价命题的相关文献在1984年到2022年内共计175篇,主要集中在数学、社会科学丛书、文集、连续性出版物、教育
等领域,其中期刊论文173篇、会议论文2篇、专利文献407篇;相关期刊137种,包括中学生数理化(高二高三版)、甘肃教育、黑龙江教育(高教研究与评估版)等;
相关会议2种,包括第十三届沈阳科学学术年会、2017中国智能物联系统会议等;等价命题的相关文献由206位作者贡献,包括叶雉鸠、王良成、何承源等。
等价命题
-研究学者
- 叶雉鸠
- 王良成
- 何承源
- 冯军年
- 吕佐良
- 姜官扬
- 廖达凡
- 张景晓
- 张爱萍
- 杨军
- 段汕
- 王章永
- 田志承
- 管训贵
- 罗敬
- 邹同俭
- 陈栋
- 陈芸
- Ai Ying
- J.BrianConrey
- Sui Ying
- Sun Changchun
- Tianyu Sun
- Wensheng Yu
- 丁一鸣
- 主父国庆
- 付粉娟
- 令标
- 何日挺
- 何贻勇
- 侯海森
- 候希
- 光峰
- 冯绍继
- 刘勇
- 刘培
- 刘大鸣
- 刘成龙
- 刘文君
- 卢介成
- 卢冠军
- 卢锷
- 史天喜
- 史秀英
- 叶显斌
- 叶秀锦
- 吕俊芳
- 吴亚芬
- 吴振国
- 吴春花
-
-
-
赵云平
-
-
摘要:
线性子空间直和理论是数学专业高等代数课程的重要内容之一,也是难点之一,其中蕴含着线性空间分解思想,其在理论上和实际上有着重要的价值.许多教材对线性子空间直和问题进行了探讨,并给出了一些重要结论,但对于子空间直和等价命题的证明却不太详细.本文以线性子空间直和的相关概念为基础,叙述了子空间直和的5个等价命题,并证明了这5个命题彼此等价.
-
-
张爱萍
-
-
摘要:
广义逆矩阵是矩阵分析的基础之一,也是矩阵论的一个重要分支,广泛地应用于控制理论、系统识别和优化理论等领域.介绍了广义逆矩阵及广义逆矩阵A-的概念,研究了广义逆矩阵A-的存在性及其性质,并对广义逆矩阵A-的求法进行了探讨,给出了一种求广义逆矩阵A-的常用方法.
-
-
廖达凡
-
-
摘要:
数学课堂上,对一道正答率低的填空试题的解法展开探究,对学生采用换元法解题提出质疑并加以修正,寻找解决问题的等价命题,充分发挥试题的潜在价值,借以抛砖引玉,指导今后的教学实践.
-
-
廖达凡
-
-
摘要:
数学课堂上,对一道正答率低的填空试题的解法展开探究,对学生采用换元法解题提出质疑并加以修正,寻找解决问题的等价命题,充分发挥试题的潜在价值,借以抛砖引玉,指导今后的教学实践.
-
-
张爱萍
-
-
摘要:
非奇异M矩阵是一类特殊的M矩阵,它在应用中与M矩阵同等重要.主要研究M矩阵与非奇异M矩阵的一些重要特性,并给出了与M矩阵以及非奇异M矩阵彼此等价的几个命题,它们在数值分析、经济系统的投入产出分析、数理经济学中的一般均衡的稳定性、运筹学中线性互补问题等很多领域都具有重要的应用.
-
-
-
-
邹同俭;
冯军年
-
-
摘要:
利用导数解决不等式问题,实质上就是利用不等式与函数之间的紧密联系,将不等式的部分或全部投射到函数上,直接或等价变形后,结合不等式的结构特征,构造相应的函数,再运用导数知识来研究所构造的函数的单调性、极值和最值等,从而使问题得到解决.其中,审题至关重要,构造出适当的函数是解题的关键,合理转化找到等价命题是基本要求.
-
-
邹同俭;
冯军年
-
-
摘要:
利用导数解决不等式问题,实质上就是利用不等式与函数之间的紧密联系,将不等式的部分或全部投射到函数上,直接或等价变形后,结合不等式的结构特征,构造相应的函数,再运用导数知识来研究所构造的函数的单调性、极值和最值等,从而使问题得到解决.其中,审题至关重要,构造出适当的函数是解题的关键,合理转化找到等价命题是基本要求.
-
-
Tianyu Sun;
孙天宇;
Wensheng Yu;
郁文生
- 《2017中国智能物联系统会议》
| 2017年
-
摘要:
利用交互式定理证明工具Coq,在公理化集合论体系下,给出选择公理与它的几个著名等价命题间等价性的机器证明,这些命题包括Tukey引理、Hausdorff最大原则、最大原则、Zorn引理、良序原则等.本文从选择公理出发依次证明上述定理,最后又通过良序原则证明了选择公理,从而循环证明了选择公理与这些命题间的等价性.本文体现了基于Coq的数学定理机器证明具有可读性和交互性的特点,其证明过程规范、严谨、可靠.
-