组合数和式的几种求解公式

得到了带组合数（^n k)的幂和∑^nk=1(^n k)k^m的几何求解公式。     

高频电子线路教学方法研究

提出了高频电子线路教学的几种方法,根据教材的内容举例进行了说明,使得难学难记的高频电子线路变得通俗易懂.     

关于一类二阶双曲型微分方程的柯西问题

研究了一类二阶双曲型微分方程vxx-h(x,y)k(y)vyy a(x,y)vx b(x,y)vy c(x,y)v f(x,y)=0的柯西问题解的存在性,现在采用较为初等的方法,即通过构造积分方程的逼近解序列,把这个问题转化为一个积分方程组问题,然后再利用归纳法和迭代法,证明这类二阶双曲型微分方程在一定条件下的柯西问题有解且可导,并给出了解的积分表示式。     

归纳证明在类型理论中的应用研究

通过类型理论使得程序语言在静态可以检查是否出错,这给程序语言带来许多优势。类型理论中的重要性质包括:弱化规则、删除规则、强化规则等。首先给出了结构归纳法、良基归纳法、规则归纳法和余归纳法的形式化定义。在给出PA4WS进程代数的语法、语义的基础上给出了其类型定义。在此基础上给出了归纳法在PA4WS类型理论性质证明的应用。     

一个初等对称式不等式猜想的证明

应用数学归纳法并结合Newton不等式,证明了有关初等对称式的一个不等式猜想.     

浅谈中学数列中的探索性问题

探索性问题是指问题的条件或结论不直接给出,需要通过观察、分析、分类、推理、化归、一般化、数形结合及猜想、证明等一系列的探索活动,逐步确定要求的结论或条件.这类问题不仅考查学生的探索能力,而且给学生提供了创新思维的空间.近几年高考中经常出现以数列为载体的探索性问题.本文从典型例题入手,讨论了中学数列中的四类探索性问题.     

关于一个不等式的再改进

本文用数学归纳法将该改进后得到的不等式<(n-(m-1)/2-1/n)~m/m!进一步改进为不等式<(n-(m-1)/2-1/(n-2))~m)/m!,并给出证明,使不等式达到更加精确的程度。同时指出,不等式右端1/(n-2)项分母中减数最大值是2,要进一步改进不等式只能从另外的角度考虑。     

最小数原理——数学归纳法的理论依据

归纳法和演绎法都是重要的数学方法,归纳法中完全归纳法和演绎法都是逻辑方法;不完全归纳法是非逻辑方法。只适用于数学发现思维,不适用数学严格证明。高中阶段学习的数学归纳法,是一种递归推理,是科学归纳法在数学中的应用与体现。数学归纳法是论证关于自然数的无限多个命题的重要方法,它的正确性源于自然数的归纳公理或最小数原理。     

理工科学生掌握数学归纳法状况的调查及分析

通过问卷调查，了解到理工科学生掌握数学归纳法的状况，绝大多数人会用数学归纳法，但他们不知道数学归纳法的逻辑基础和逻辑原理、调查结果启示：各高校扩大招生，地方性院校理工科学生入学时的数学素质降低，因此高等数学教学中应高度重视此状况；做好高等数学教学与中学数学教学衔接工作；高等数学教学中应进行系统的数学方法理论教育；给学生介绍数学方法发展的来龙去脉及其在科学研究与实践中的作用。     

关于一个不等式的改进

不等式()<是正确的并已得到应用。本文是将此不等式改进为不等式()<,并用数学归纳法原理予以证明是完全正确的,以使不等式达到进一步地精确程度。