工科数学素质的结构特征

工科院校的基本任务是培养社会所需要的合格的工程技术人才,随着现代科技特别是计算机科学的迅速发展,社会对工科院校的学生提出更高的要求,要求他们不仅有广博、扎实的专业知识,而且具有较高的素质。所谓素质就是把从外在获得的知识,技能内化于人的身心,升华形成稳定的品质和素养。而工科数学素质,是在数学活动中获得的,它受学生所学专业和社会需求的制约。本文根据工科院校各专业特点,分别从数学观念、数学方法、数学思维、数学能力四个层面给予具体的分析和讨论,以揭示工科数学素质的结构特征。一、数学观念工科数学教学不仅需…     

智能教育背景下工科院校数学建模教育教学的改革与实践

数学建模教育教学工作对工科院校培养新工科要求下的创新型人才具有积极的促进作用.本文分析和总结了数学建模教育教学的经验和不足,探讨了在智能教育背景下,全方位开展数学建模教育教学改革与实践的举措.在新时期探索数学建模教育教学的改革与发展,有利于培养本科生的自主学习能力和团队协作能力,有利于强化本科生的数学素养和数学应用能力,为新工科的发展夯实数学基础.     

深化教学改革 加强“基地”建设

新世纪数学教学改革应该如何深化,这是我们在"国家工科数学课程教学基地"(简称"基地")建设过程中常常思考的一个问题.回顾从1996年开始国家教委启动面向21世纪高等教育体系与教学内容改革研究项目以来,两大课题组--由清华大学萧树铁教授主持的"高校非数学专业高等数学体系与教学内容改革"课题组和由西安交大马知恩教授主持的"数学系列课程教学内容与课程体系改革的研究与实践"课题组--进行了长期坚持不懈的努力,所提出的两份<改革研究报告>(已由高等教育出版社出版)是在相当长一段时间内工科数学教学改革的指导性文件,也是"国家工科数学课程教学基地"建设的指导性文件.     

数学建模中的创新意识培养

针对数学建模中模型建立与求解以及模型的评价与推广这两个环节,提出了"旁观者"与"当局者"这两个角色,并指出优秀数学建模参与者应该具备"从旁观者到当局者"以及"从当局者再回到旁观者"的双向角色转换能力.同时,还从形式和内容两个方面对数学建模优秀论文的共性进行了分析,并联系数学建模的两个环节,指出了优秀论文和数学建模过程中两个环节这两者与角色转换的紧密关系.最后,对如何培训学生成为一个优秀的数学建模参与者提供了一些参考和建议.     

关于国家工科数学课程教学基地功能和特征的初步认识

随着新世纪的临近，科学技术的飞速发展和社会主义市场经济对人才素质、特别是数学素质越来越高的要求．工科数学的教学内容和课程体系的改革也追在眉睫．面对时代和社会发展的挑战，国家教委于1996年11月批准在全国六所工科院校率先设立国家工科数学课程教学基地。以推动工科数学课程的改革和建设。     

关于国家工科数学课程教学基地功能和特征的初步认识

随着新世纪的临近，科学技术的飞速发展和社会主义市场经济对人才素质、特别是数学素质越来越高的要求，工科数学的教学内容和课程体系的改革也迫在眉睫。面对时代和社会发展的挑战，国家教委于１９９６年１１月批准在全国六所工科院校率先设立国家工科数学课程教学基地，...     

工科数学素质的结构特征

工科院校的基本任务是培养社会所需要的合格的工程技术人才，随着现代科技特别是计算机科学的迅速发展，社会对工科院校的学生提出更高的要求，要求他们不仅有广博、扎实的专业知识，而且具有较高的素质。所谓素质就是把从外在获得的知识，技能内化于人的身心，升华形成稳定的品质和素养。而工科数学素质，是在数学活动中获得的，它受学生所学专业和社会需求的制约。本根据工科院校各专业特点，分别从数学观念、数学方法、敷学思维、数学能力四个层面给予具体的分析和讨论，以揭示工科效学素质的结构特征。     

工科数学教学中数学建模技术的嵌入式教学法

本介绍了在工科数学教育中引入数学建模技术的教学方法，教学组织及教学案例，是多年工科数学教学的经验总结。     

数学建模与素质教育

面对二十一世纪知识经济的挑战 ,我国高等教育模式应由应试教育 ,专业教育向素质教育转变 ,培养学生自主意识 ,效率意识 ,竞争意识 ,创新意识和民主意识 ,即高校教育应重视大学生的创新能力、实践能力和创业精神 ,普遍提高大学生的人文素质和科学素质 .本文拟就提高大学生素质的有效层面 ,对开展数学建模教学与实践进行深入分析 ,以窥探数学建模与素质教育之关系 .在深入把握数学建模教学与实践内涵的同时 ,分析得出这种以不打扰现行正常秩序的教育是提高大学生素质的有效途径之一     

更新工科基础数学教学内容和体系的初步实践与体会

培养跨世纪人才,迎接21世纪高科技的挑战,提高工程技术人员的数学素质、改革数学教学内容,是我国高等工科院校数学教学工作者共同关心的问题.近年来,工科数学界同行们为改变40年教学内容不变的落后局面进行了许多探索.清华大学在肖树铁教授的指导下,对教学内容体系的改革,以及用现代数学的观点、理论和方法处理教学内容作了试点,取得了可喜的经验,本文是他们这一工作的初步总结,为推动我国工科院校改革,建立适合我国国情,富有时代气息的工科数学课程体系,我刊特发表此文,目的是希望能对工科数学界同行有所启示,鼓励大家从各方面对教学内容,教学体系进行改革探索、试点,总结经验,为改变我国工科院校数学课程内容40年不变的局面培养高质量的科技人才而努力.     

Distribution of types of symmetry of tensors of high degree

The asymptotic distribution of tensors of degree N in symmetry types is studied in this paper.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 155, pp. 181–186, 1986.     

Estimates of stability of characterization of additive types of distributions

An estimate of stability of characterization of distribution types is obtained for the case of additive types. Under some conditions, the estimate has the order ε^1/3L(ε), where L(ε) is a slowly varying function. Proceedings of the Seminar on Stability Problems for Stochastic Models, Moscow, Russia, 1996, Part I.     

一类完全正则半群簇子簇格的性质

本文研究了完全正则半群簇的子簇格［Ｖ＋∩ＰＶ，Ｖ＋∩ＰＶ］的某些格运算性质，我们证明了簇Ｖ＋∩ＰＶ可分解为Ｖ与Ｖ＋∩ＰＶ的并；对任意完全正则半群簇Ｗ，有Ｗ∩（Ｖ∨Ｖ＋∩ＰＶ）＝（Ｗ∩Ｖ）∨（Ｗ∩Ｖ＋∩ＰＶ）．特别地，我们得到了等式Ｖ＋∩ＰＶ＝Ｖ成立的若干条件．     

Study of the blow-up of solutions of systems of equations of hydrodynamic type

Mathematical Notes - We study the initial boundary-value problem for three-dimensional systems of equations of pseudoparabolic type. The system is similar to the Oskolkov system, but differs from...     

Characterization of types of asymptotic discernibility of families of hypotheses

We give a characterization of the types of asymptotic discernibility of families of hypotheses in the case of hypothetical measures that are not, in general, mutually absolutely continuous. The case when the logarithm of the likelihood ratio admits an asymptotic expansion of the type of an expansion with local asymptotic normality is examined in detail. Examples are studied.Translated fromTeoriya Sluchainykh Protsessov, Vol. 15, pp. 64–71, 1987.     

Bases of the identities of products of certain varieties of groups

The following theorem is proved: The product of any variety of two-step solvable groups and a variety having a finite basis of identity relations has a finite basis of identity relations.Translated from Matematicheskie Zametki, Vol. 5, No. 1, pp. 137–144, January, 1969.     

Preservation of equivalence of derivations under reduction of depth of formulas

In this paper we consider derivations in the (&, )-fragment of the intuitionistic propositional calculus. As is known, replacement of any occurrence of a formula [F] in a sequent S by an occurrence of the formula [p], where p is a new propositional variable, with the simultaneous addition to the antecedent of the formula F p or p F depending on the sign of the occurrence of F in S, leaves the derivability unchanged. We give a proof of the fact that the natural extension of this transformation to derivations preserves the relation of equivalence of derivations, i.e., transformed derivations are equivalent if and only if the originals are equivalent. (Derivations are considered equivalent if certain of their normal forms coincide, or, what is the same, if their deductive terms coincide.) It is proved that by the iteration of this transformation, each derivation of an arbitrary sequent S can be transformed into a derivation of a sequent S, depending only on S, whose succedent is a variable, and in the antecedent there occur only formulas of the form a,a & b, a b,,(a b) c, a & b c, a (b & c), wherea, b, c are variables. Here if S is balanced, then S is also balanced. (A sequent is called balanced if each variable occurs in it no more than twice.) The familiar correspondence between certain concepts of the theory of categories and concepts of the theory of proofs allows one to assert that there has been constructed a univalent functor, mapping a free Cartesian closed category into itself.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 197–207, 1979.