微积分一种重要类型极限的计算方法

给出了一种类型函数极限运算的公式及其在微积分极限计算中的具体应用,应用此极限公式可以求某些极限运算中参数的值,给出一元函数在某一点连续的充分条件和求一个曲线的渐近线,同时提供了一个命题的证明方法.     

关于命题公式的主范式

本文讨论了两个命题公式的一次复合的主析(合)取范式与它们的主析(合)取范式之间的关系。     

推动区域科技进步的一项强有力措施--谈实施党政领导科技进步目标责任制实地考核的成效与体会

按照<安徽省地方党政领导科技进步目标责任制考核实施办法>,从2001年起省委组织部、省科技厅已连续两年分别对合肥、芜湖、马鞍山、铜陵、淮南、安庆等市党政领导班子科技进步目标责任制实施情况进行实地抽查考核.实践证明:实施党的领导科技进步目标责任已成为一股强大动力,正有力地推动着区域科技进步和科技人才队伍建设.     

卡尔达诺的构造性几何证明

基于对《大术》第7章关于三项方程变换法则的几何证明的构造性特点分析,总结了卡尔达诺的构造思想,并按照其方法把他针对三项三次方程的证明自然地推广到一般三项方程.由此认为,卡尔达诺在《大术》中的几何证明大多区别于经典的综合证明,而属于以分析为基础的验证.他对涉及高次方程的几何证明一般是通过具体例子来展示一般方法,但是,他针对特殊情形的证明方法具有一般性.另外,在方法论上指出,古证复原方法也适用于历史上存在的几何证明.     

建立递阶层次结构中可达阵的又一方法

L．A．Satty在利用可达阵建立递阶层次结构中，是通过二元阵乘法定义，逐步找寻满足A^k-1≤A^k=A^k 1条件的k值，根据A^k建立递阶层次结构。现通过二元件A的有向图直接给出A^k。下面给出这两种方法一致性的证明过程。     

KosnioWski-Stong公式的一个简单证明

Kosniowski-Stong公式是近年来带对合协边领域的一个较重要的结果，它来源于Atiyah与Singer在指标定理方面的工作。此公式现有2种证明方法，其中属于带对合协边理论的是一种验算性质的证明。现利用带对合协边理论基本定理直接导出了此公式，由此可看出这2个重要结果是紧密相连的。     

浅谈数学命题的推广与应用

本文以实例阐述了各种类型的数学命题的推广和推广后命题的应用.     

《组合数学》教学指导

本文主要从组合数学的研究方法及主要内容来介绍组合数学的主要知识点。它包括排列组合的基本计数方法，组合恒等式的证明技巧中常用的公式及其技巧，母函数求特殊容量限制的排列和组合问题，以及利用间接方法来求解计数问题的容斥原理，解决特殊计数的整数分拆，以及如何建立递归关系，用递归关系求母函数的方法，解决存在问题的鸽巢原理及Ramsey的问题，还有集合上等价类计数问题的Polya计数定理应用。     

证据、证明与诉讼活动的关系

本用辩证唯物主义哲学的观点，解析了证据、证明和诉讼活动三之间的关系。章认为：证据属于客现的物质范畴，证明属于主观的意识范畴，两既有区别又有联系。证据和证明，只有在诉讼活动中才得以结合，实现主客观的统一，也才能实现揭露事实真相、准确结案的目的。