检索结果-南通市图书馆

数学学报（中文版） 1996年第3期39卷 396-403页

作者：王卿文山东昌潍师专数学系

本文给出了任意体上具有相同行数或相同列数的双矩阵分解定理；利用此定理，给出了任意体上的矩阵方程ＡＸＢ＋ＣＹＤ＝Ｅ及［Ａ１ＸＢ１，Ａ２ＸＢ２］＝［Ｅ１；Ｅ２］有解的充要条件及其一般解的表达式．

关键词：体矩阵分解矩阵方程

在线全文

学校读者我要写书评

暂无评论

一般线性方法的线性与非线性稳定性间的关系

计算数学 2000年第1期22卷 13-20页

作者：阮保庚番禺师专数学系番禺511400

Some new concepts of stability are introduced for general linear methods, and algebraic conditions for stability of the methods are proposed which are suitable not only for implicit methods but also for explicit methods. Our results characterize the interrelation between linear and nonlinear stability so that new evidence for the construction of efficient and stable methods is offered.

关键词：数值分析一般线性方法稳定性线性非线性

在线全文

学校读者我要写书评

暂无评论

一类慢性病的数学模型的研究

应用数学 1996年第4期9卷 507-510页

作者：唐旭清杨凤翔巢湖师专数学系兰州大学数学系

一类慢性病的数学模型的研究唐旭清，杨凤翔（巢湖师专数学系安徽２３８０００）（兰州大学数学系甘肃７３００００）关键词：数学模型；慢性病；转移ＡＭＳ（１９９１）主伍分类：９２Ｃ６０．医学随访的资料通常限于所研究人群中个体... 详细信息

一类慢性病的数学模型的研究唐旭清，杨凤翔（巢湖师专数学系安徽２３８０００）（兰州大学数学系甘肃７３００００）关键词：数学模型；慢性病；转移ＡＭＳ（１９９１）主伍分类：９２Ｃ６０．医学随访的资料通常限于所研究人群中个体的生存和死亡，不考虑生存者的健康状...

关键词：数学模型慢性病转移图极大似然估计

在线全文

学校读者我要写书评

暂无评论

关于国家数学课程标准研制工作的思考

课程．教材．教法 2000年第2期20卷 31-33页

作者：孔凡哲山东济宁师专数学系

在线全文

学校读者我要写书评

暂无评论

对美国八年级一节数学课的分析

外国中小学教育 2001年第6期 41-42页

作者：张晓贵台州师专数学系

在数学教育中我们经常听到的一个词是“现代数学教育思想”，那么什么是现代数学教育思想?在数学课堂教学中如何体现现代数学教育思想?在这篇文章中，通过展示美国八年级的一节数学课，并对它进行一些分析，来部分地回答这个问题。为了... 详细信息

在数学教育中我们经常听到的一个词是“现代数学教育思想”，那么什么是现代数学教育思想?在数学课堂教学中如何体现现代数学教育思想?在这篇文章中，通过展示美国八年级的一节数学课，并对它进行一些分析，来部分地回答这个问题。为了清楚地表现课堂的进展，我们把它分成几个部分。……

关键词：美国八年级数学教育数学课分析课堂教学教学方法

在线全文

学校读者我要写书评

暂无评论

美国重点高中一瞥

外国中小学教育 2000年第4期 48-49页

作者：杨泽恒云南大理师专数学系

本文以美国的一所特殊高中斯堤文生高中及其入学考试为例介绍美国多元教育的一个侧面——特殊科学高中。

关键词：美国重点高中特殊中学入学考试

在线全文

学校读者我要写书评

暂无评论

机器证明的困难所在

计算机科学 1992年第2期19卷 81-81,F004页

作者：程显毅呼兰师专数学系 150500

机器证明是人工智能的一个重要课题,即用计算机来证明定理,亦称自动证明或定理的机械化证明,其基础是由 Hibert 在1930年奠定的,60多年来历程艰苦,困难在于传统逻辑、三段论、充分条件、同理可证、直觉思维的局限性。如果我们正视这些困... 详细信息

机器证明是人工智能的一个重要课题,即用计算机来证明定理,亦称自动证明或定理的机械化证明,其基础是由 Hibert 在1930年奠定的,60多年来历程艰苦,困难在于传统逻辑、三段论、充分条件、同理可证、直觉思维的局限性。如果我们正视这些困难,利用专家系统,机器学习等技术,机器证明将进入一个崭新的局面。

关键词：人工智能机器证明