排序方式: 共有53条查询结果,搜索用时 15 毫秒
1.
2.
介绍处理高等代数习题的标准形式化方法、公理化方法、模型转换方法、形式统一性方法和形态联想方法,并给出实例加以说明. 相似文献
3.
4.
5.
6.
n阶行列式—n维向量的n重反对称线性函数——高等数学教学内容与体系改革系列谈(之三) 总被引:1,自引:0,他引:1
这个专题谈谈为什么我们不把行列式安排为线性代数的第一章而要放在线性空间、线性变换和矩阵之后?为什么我们不采用递归法或表达式法定义行列式而采用公理化的定义?用公理化定义后如何简化行列的重要性质和定理的证明? 相似文献
7.
8.
数学研究的对象是"数"与"形",形的数学就是几何学.它是以直观为主导,以培养人的空间洞察力与思维为目的.从数学发展的历史来看几何学的第一个最重要著作就是欧几里得(Euclid,约公元前330-275年)的<几何原本>.它被世界各国翻译成各种文字.它的印刷量仅次于"圣经",所以不少人称<几何原本>为数学工作者的"圣经".<几何原本>在数学史乃至人类思想史上有着无比崇高的地位. 相似文献
9.
考察在Fuzzy偏爱关系下基于t-模的选择函数,当偏爱关系具有诸加强拟传递性、拟传递性、次非循环性等不同传递性时,分别讨论正则选择函数的公理化特征。这些结论揭示了关于正则选择函数的公理化特性随传递性变化而变化的规律。 相似文献
10.
基于t—模的选择函数—公理化的特征 总被引:2,自引:1,他引:1
考察基于t-模的选择函数的公理化特征,讨论导出选择集是核的选择函数的公理化特征,证明了导出选择集是核的选择函数当且仅当它重合于某个正则的、以不被严格控制为择优准则的选择函数。 相似文献