概括原理及其消除——一个完备的逻辑演算

无论集合论、λ换位演算、组合逻辑及逻辑(谓词演算)都由于无限制地使用概括原理而导致悖论,因而不能不对概括原理给以限制;然而加以限制以后又近于人工做作而不够自然,而且也变得复杂得多。本文指出,可以在一切方面用代入运算代替概括过程,从而概括原理可以根本废除,废除概括原理以后,不仅不会产生新的高级函词高级算子,而公理与推理过程也简洁得多,不受任何人工约定的限制。这样我们便得到一个既非常简洁又确实很完备的逻辑谓词演算,足以作为整个数学的基础。     

树的稳定子集和稳定指标

一个实矩阵的符号稳定性问题在经济学、生态学等诸多领域中都有应用背景．本文利用[1]中给出的不可约矩阵的符号稳定性的有关结论，将一个实矩阵的符号稳定性判定问题转化为一个等价的图论问题，即判定无向树中一个点子集的稳定性问题．本文引入了树的稳定子集的概念并给出了稳定子集的递归判别方法．本文还提出井研究了树的稳定指标，即树中所有稳定子集的最小基数，证明了关于稳定指标的一个min—max型定理，井给出了n阶树的稳定指标的最好上界及达到上界的极树的完全刻划。     

C^∞映射芽的Boardman符号的机器算法

本给出了C^∞映射芽的Boardman符号的机器算法，利用具有符号运算的数学软件（如MATLAB）可实现所给算法。     

定义在区间值上的Fuzzy关系方程

Ｆｕｚｚｙ关系方程Ａ。Ｘ＝Ｂ中的矩阵Ａ、Ｂ的元素均为区间值，称为定义在区间值上的Ｆｕｚｚｙ关系方程。它是目前关于Ｆｕｚｚｙ关系方程理论研究中的主要问题之一￣［１］。本文讨论了区间值上Ｆｕｚｚｙ关系方程解的定义，并用符号定值法求出其全体解集。     

计算机上的抽象算符演算系统

本文在REDUCE语言环境下,利用公理化方法建立了一个“抽象算符演算”系统.使REDUCE系统可用于抽象的算符演算,逆演算;用于Laplace变换,逆变换及解微分方程,推导公式,以及验证有关定理等.     

k路覆盖图的新充分条件

设G是一个n阶简单连通图。如果其顶点集V(G)能被k条或更少的点不交的路覆盖,则图G是k-路覆盖的。分别用距离谱半径、距离无符号拉普拉斯谱半径、Wiener指数和Harary指数得到了图G是k-路覆盖的新的充分条件。     

高维多重双正交小波包

本文给出对应于高维多重尺度函数的双正交多小波包的定义及其构造方法.讨论了高维不可分双正交多小波包的双正交性.     

两类图的逆符号边控制数

研究了图G的逆符号边控制数■.利用穷标法及分类讨论法,主要得到了两类图n·C_m和n-C_m逆符号边控制数的精确值,从而推广了已知结果.这里C_m表示长为m的圈,n·C_m和n-C_m分别表示恰有一个公共点和有一条公共边的n个圈的拷贝.     

有限域上一类不可约多项式（英文）

设F_q为q元有限域,其中q是素数p的幂,设n是一个正整数.F_q上一个n次首一多项式f(x)的迹定义为x~(n-1)的系数.令N_q(n,t)表示F_q上迹为t∈F_q的n次首一不可约多项式的个数.基于给定多项式的普通分解与其线性化q-相伴式的符号分解之间的关系,本文给出了一种计算N_q(n,t)的新途径.     

拟树图按第二大无符号拉普拉斯特征值排序

A connected graph G=(V,E) is called a quasi-tree graph if there exists a vertex v_0∈V(G) such that G-v_0 is a tree.In this paper,we determine all quasi-tree graphs of order n with the second largest signless Laplacian eigenvalue greater than or equal to n-3.As an application,we determine all quasi-tree graphs of order n with the sum of the two largest signless Laplacian eigenvalues greater than to 2 n-5/4.