数学归纳法的本质

本文阐述了数学归纳法的本质———数学归纳法不是归纳法而是演绎法

数学联想及其在数学问题研究中的作用

本文从心理学“联想”这一概念出发 ,阐明了数学联想的意义 。

关于数学命题的几个逻辑问题——兼与文(一)、文(二)商榷

本文应用形式逻辑学原理阐明了几个关于数学命题的逻辑问题 。

Banach空间中渐近非扩张映象不动点的迭代逼近问题

Some iterative approximation theorems of fixed points for asymptotically nonexpansive type mappings in Banach spaces are obtained.

广义非线性隐拟补问题解的有界性及扰动迭代算法

讨论了一类广义非线性隐拟补问题解的有界性及扰动迭代算法，给出了一些新的结果。

一族全纯函数的性质

该文证明了一族全纯函数的一个性质，即对任意ε＞０有ｌｉｍ｜ｚ｜→１－０（１－｜ｚ｜２）１＋εｆ（ｚ）＝０。

半弱紧1-集压缩映射不动点的迭代序列

本文证明了,序区间[y,Y]上递增半弱紧1-集压缩映射 T 的极小不动点x_* 和极大不动点 x~*,仍可用简单迭代序列逼近.即 x_*=lim(T^ny) n→·,x~*=lim(T^nY) n→∞.同时,还建立了另一迭代序列.

Fuzzy映象的广义非线性变分包含(英文)

引入并研究了一类新的Ｆｕｚｚｙ映象的广义非线性变分包含，构造了一些新的迭代算法。

Banach空间中m-增生映象方程的迭代解

在Banach空间中讨论关于m 增生映象方程带有误差的Mann和Ishikawa迭代过程的收敛性 所得结果改进和推广了Chidume和Osilike 。

每个非空正则简单图都包含两个不相交的极大独立集

以极大独立集定义为基础，从连通简单图的邻接矩阵入手，寻求邻接矩阵的极高阶零子方阵，以极高阶零子方阵确定极大独立集。

L图的确定

通过对L图存在性的探讨研究 ,得出结论 :当顶点数ν与边数ε分别满足公式。ν=2 +∑mn=1 n ε=ν+m - 1 ( 2≤m≤ 3)时 。

完全归纳推理和分情况证明

本文联系中学数学实际 ,根据形式逻辑学原理 ,阐明了完全归纳推理和分情况证明是两种不同的推理论证方法 。

矩阵的秩的一个定理和线性方程组的同解定理

本文给出了矩阵乘积的秩定理的一个逆形式,并应用它证明了线性方程组的同解定理. 本文中的符号同[1].在[1]中有以下定理: 定理:两个矩阵的乘积的秩不大于每一因子的秩.特别,当有一个因子是可逆矩阵时,乘积的秩等于另一因子的秩.