(L)ukasiewicz命题逻辑系统中的赋值决定公式问题

为了在经典逻辑学中建立Fuzzy分离规则的推理模式，Zadeh提出了赋值决定公式问题（VDF问题），并已于二值命题逻辑以及Lukasiewicz三值和p＋1值命题逻辑中得到解决．文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论，首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件，其次构造性地解决了Ln、La和Lc中的VDF问题．     

Kantorovich积分不等式的加强式及应用

从Kantorovich离散型不等式出发,推广到相应的积分型不等式,并给出构造性证明,又对其积分型不等式进行了加强,最后讨论了Kantorovich积分不等式加强式的应用.     

关于“巧用均值不等式求条件分式最值”的再讨论

李老师在文[1]中使用均值不等式来求解几类条件分式最值问题.但其求解过程较繁琐,构造性太强,因而不易为中学生所理解、掌握.本文重新考虑了文[1]中几类问题,通过权方和不等式给出了他们的简单证明.     

关于“巧用均值不等式求条件分式最值”的再讨论

李老师在文[1]中使用均值不等式来求解几类条件分式最值问题．但其求解过程较繁琐，构造性太强，因而不易为中学生所理解、掌握．     

区间集非交换剩余格〈∈,∈凵Q〉-广义Fuzzy蕴涵滤子的构造性刻画

借鉴反映不确定性推理本质特征的滤子理论和用模糊粗糙集上、下近似集表述的区间集思想,引入了区间集非交换剩余格的概念,讨论构成区间集非交换剩余格的代数结构特征,构造性地给出了广义Fuzzy蕴涵滤子与其相应的〈∈,∈凵Q〉-广义Fuzzy蕴涵滤子间的等价性表示定理,体现了性质迥异的区间集非交换剩余格代数表示形式的内在相容性。     

算法学习在高中数学中的意义

随着现代信息技术的迅猛发展,算法已融人生活的众多方面,扮演着重要的角色.在高中数学教科书中也将算法作为一个独立的章节在学习,算法的思想和初步知识也正在成为普通公民的常识.主要论述了什么是算法以及学生学习算法的意义.     

构造性辅助线四例

在几何证明中除常见的连接、延长、作平行、作垂直等辅助线之外,还有一种作辅助线的思路,就是通过巧妙的几何变换构造出全等或是特殊的图形.这种作辅助线方法我们通常称为构造性辅助线.     

种群细胞增生中迁移方程的研究进展

介绍了近年来国际上种群细胞增生中的迁移方程的研究进展,主要阐述了这类迁移方程解的构造性理论及应用等研究成果。     

数学的构造性方法

从数学方法论的角度，通过若干典型实例的分析，阐述了“数学构造性方法”的产生与发展、性质与应用以及构造数学和普通数学的差别与联系。     

Ramsey数R(k,l;r)的构造性下界

确定Ramsey数的构造性下界是组合数学中很有意义而又非常困难的课题,迄今仅有个别结果。本文将研究一类组合竞赛,给出任意Ramsey数R(k,l;r)的构造性(算法性)下界。