共查询到20条相似文献,搜索用时 187 毫秒
1.
2.
3.
日本当代数学教育家杉山吉茂在他的一篇论文《基于公理方法的中小学数学学习指导》中指出:“如果对证明的目的,除了表达某个命题为真之外,还要分析要素,即强调寻找根据.那么在证明某个命题的真实性以后,便会回过头来检验保证其真实性的要素和命题之间的关系,于是证明更严密化,命题更一般化,达到弄清问题的本质,并会在此基础上去思考、发现新的问 相似文献
4.
黄崇智 《内江师范学院学报》2007,22(2):10-11
证明了关于自然数集■的Peano公理系统中的第五条公理(即数学归纳原理)与命题I:■1≠b∈■,■a∈■∈.σ(a)=b及命题II:{1}∪σ(■)=■三者是等价的.从而,用该二命题中之任一去取代数学归纳原理而形成的公理系统与Peano公理系统等效. 相似文献
5.
6.
7.
应用线性方程组的理论得到了解析几何中的几个命题,因而沟通了线性代数与解析几何的内在联系,并可透视代数学与几何学相互渗透,相互影响的的本质关系. 相似文献
8.
刘应平 《山西教育(综合版)》2003,(22):36-37
近年来 ,培养学生的创新意识与创新能力已成为基础教育教学改革研究的一个热点。但是 ,现行数学教材中所涉及的命题大都是由条件寻求结论 ,或给出条件和结论 ,让学生去判断、推理、证明 ,这无疑给学生创新能力的培养带来了一定的限制。因此 ,教师应不拘泥于课本 ,而应在紧扣课本注重命题教学的同时 ,善于提出具有挑战性的新问题 ,为学生留下尽可能多的思维空间。1 .在命题条件求异中创新即给出命题的结论 ,从多方向上追溯使结论成立的条件 ,以有助于学生在把握命题结构的同时 ,激发创新意识。例 1 .命题“a、b是实数 ,若 a>b,则 a2 >b2”,若… 相似文献
9.
10.
在初中数学学习过程中,数学证明是较为常见的,一般我们可以将其分为直接证法和间接证法,直接证法就是从原命题所给出的条件出发,结合各种定理、公式或者法则等,通过推理和证明获得需要的结论.而间接证法就是指通过证明与原命题等价的命题来推断原命题成立.这种方法一般适应于原命题不易直接证明的情况.其中反证法就属于间接证法之一.下面结合具体的例题来介绍一下在两直线平行条件下反证法的具体应用. 相似文献
11.
邓勇 《南阳师范学院学报》2014,(12):1-3
Cayley-Hamilton定理是线性代数中的一个重要结论.对该定理从不同角度入手的证明也多种多样.为丰富线性代数的这部分理论,首先对有限维向量空间某些结果的论证进行了改进,然后利用矩阵数值分析的连续论证法,给出了Cayley-Hamilton定理的另一种新证明. 相似文献
12.
13.
14.
邓勇 《喀什师范学院学报》2008,29(6):26-27
目前多数线性代数教材中关于线性方程组的克莱姆法则的证明都要用到代数余子式概念和行列式展开定理.而利用分块矩阵知识,很好的改进了文献[3]的证明方法,得到克莱姆法则的一种更加简捷的证明. 相似文献
15.
16.
A theorem for osculatory rational interpolation was shown to establish a new criterion of interpolation.On the basis of this conclusion a practical algorithm was presented to get a reduction model of the linear systems.Some numerical examples were given to explain the result in this paper. 相似文献
17.
研究了TAF代数中的原子和秩一算子,将Elias Katsoulis和Justin R Peters在文献中的定理2.3的条件由强极大TAF代数推广到TAF代数,得到了TAF代数的理想是完全交不可约理想的一个充要条件. 相似文献
18.
为了研究代数形变理论,引入了Hom-代数的概念.事实上Hom-代数是经典结合代数的推广.首先介绍了dimodule的Hom型推广,即Hom-dimodule,并对其相关性质进行讨论.进一步研究了Hom-dimodule范畴与Hom D-方程R12R23=R23R12的关系,其中R∈Endk(MM)且M为Hom模.针对Hom双代数上的Hom-dimodule给出了Hom D-方程的一些解,并在Hom-dimodules范畴中构造FRT-型定理.这些结果推广并改进了dimodule范畴中的FRT-型定理. 相似文献
19.
线性方程组理论在高等代数中的应用 总被引:2,自引:0,他引:2
徐德余 《绵阳师范学院学报》2008,27(11)
在高等代数的研究中一般常用矩阵作为研究工具,该文系统地从多项式、矩阵、广义逆矩阵、线性空间、欧氏空间等五个方面的应用,说明线性方程组理论也是研究高等代数的强有力的工具.在线性空间的的讨论中不但给出了替换定理的一个推广,而且应用线性方程组的知识给出了线性空间中的替换定理的一个新证法,进而推出了一个新结论,并得到了一些有实用价值的应用. 相似文献
20.