《数学模型》课程教学模式探讨

随着人类社会的发展与科技的进步,数学模型作为应用工具在各个领域展现了非凡的作用,因此为大学数学专业的学生开设《数学模型》课程便显得尤为迫切与重要.随之而来的便是《数学模型》课程的教学模式的与时俱进.本文以研究性教学为例,探讨了研究性教学在《数学模型》课程教学过程中的应用,并列举了两个案例对研究性教学的具体实施过程进行了详细的阐述.     

财经类院校《数值分析》课程教学改革的实践与研究——以广东金融学院为例

根据数值分析课程的特点和当前在本科教学过程中存在的问题,结合多年的教学实践,提出了在大学通识教育模式下,提高该课程教学质量的一些有效教学改革途径.强调了在保证基本理论作为教学内容的同时,课程内容要随着科技的进步进行优化和不断更新;教学方法上应突出课程的实践性和应用性,通过案例对比、讨论课、加强实践教学环节等手段提高学生的学习兴趣.     

注重培养研究能力的《微分方程数值解法》课程教学研究与实践

论述了注重培养研究能力的教学的重要性,数学专业基础课教学在研究能力培养中的作用,在《微分方程数值解法》课程教学中的体会,以及关于《微分方程数值解法》课程教学进一步改进的探讨.     

《数值分析》实验课网络实验平台建设体会

1 引言 《数值分析》课程是哈尔滨工业大学全校工科研究生必选公共学位课,在工科硕士生数学教学中处于中心地位.因为就目前对工科类研究生来讲,如何进行科学与工程计算仍然是工程对数学依赖的主要方面.数值计算方法是科学与工程计算的基础理论,而掌握并正确应用数值计算方法是《数值分析》课的重要目的,经过近二十年的教学实践,我们深刻认识到,这个目的必须通过配有相应的实验手段,并提供有效的实验过程监控手段,才能达到进行数值实验的真正目的.     

数值计算方法课程改革初步

介绍公共数学基础课程《计算方法》课程建设的部分内容 ,包括修订课程目标、教材建设和拓宽计算方法作业方式 ,将算法和数值实验的思想贯穿到教学中 ,加深学生对数值方法的理解 ,训练和提高学生的计算能力 .     

数值分析课程教学改革的探索与实践

分析了当前数值分析课程教学存在的一些问题,结合多年的本科生和研究生的教学实践,给出了数值分析课程教学改革的具体措施,总结了改革的效果.     

结合数学建模 改革《数值分析》教学

数值分析是一门与实际紧密结合的课程.在教学过程中,既要注重介绍课程的思想和方法,更要通过实际问题阐述方法的应用.探讨了将数学建模引入数值分析教学中的必要性和可行性,并通过实例说明方法的有效性.     

数值计算方法课程中实验环节的设计

主要介绍在数值计算方法课程的教学中如何设计实验环节,以便通过本课程的学习使学生的数值计算能力和应用数学知识解决实际问题的能力真正得到提高.     

《微分方程数值解法》课程实践教学改革初探

基于专业培养计划和课程设置目的,论述了对《微分方程数值解法》课程实践教学的思考和探索．     

《微分方程数值解》课程教学改革与实践

针对一般本科院校的教学实际,研讨《微分方程数值解》课程教学改革的一些体会,主要包括教学定位的确定、课程教学内容的优化、教学方法的改革以及教学手段的更新等问题.     

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.