一阶常微分方程可积的新类型

本文受文[2]的启示,推广了文[1]研究的一类可积的一阶常微分方程,给出了这类新的一阶常微分方程可积的充分条件及积分表达式。所得结论与文[2]的定理互不包含。     

一阶对称双曲组具特征边界初边值问题解的可微性

近年来,对于一阶对称双曲组具特征边界的初边值问题的研究有了进展.文[1]对于一类一阶双曲组具正则特征边界的解的可微性进行了讨论,但所得到的先验估计不适宜用于讨论拟线性问题.文[2]考察了一阶对称双曲组     

关于一阶常微分方程新的可积类型

本文给出二类一阶常微分方程初等可积的充分条件及其通积分。由这二类方程及其通积分可以推得许多新的可积型和古典可积的一阶常微分方程及其通积分,把[1]中所有一阶方程和[2]中黎卡提型方程都作为其特例。     

神奇的奇数阶幻方

针对文献[1]给出的奇数阶幻方矩阵的一种构造,分析了奇数阶幻方矩阵的的特征,给出了奇数阶幻方矩阵的通项公式,研究了奇数阶幻方矩阵的平方性质,并进行了证明.     

一类四阶方程ЛЯПУНОВ函数的作法

非线性微分方程的函数的作法很多,其中之一就是类比法。文[1]已对一类三阶非线性方程用类比法总结了函数的作法,并取得了相当完美的结果。本文衔接文[2]进一步总结类比法对一类四阶非线性方程的有效性,并包含了文[2]、[4]中一些主要结果。一、一类四阶线性系统之函数考虑四阶常系数线性齐次方程     

一阶线性脉冲微分方程解的参数连续依赖性

在文献[6]的基础上,讨论了广义线性微分方程与一阶线性脉冲微分方程的关系,并给出一阶线性脉冲微分方程初值问题解对参数的连续依赖性定理.     

Bezier曲线端点的k阶导数的差分表达

本文给出了n次Bezier曲线端点处的K阶导数的差分表达式,从而将文[1][4]的一、二阶导性质推广到k阶．     

复合置换的阶

本文给出复合置换阶的计算方法。文中所用术语及性质见文[2]。一、循环复合置换的阶命题1 设循环复合置换     

一类整函数的平均值

文献[1]和[2]中定义了有限阶整函数的平均值,并讨论了平均值与极大模的相互增长关系,本文把[1]和[2]的结果推广到一类无穷阶整函数。     

GL(2,Z[i])的有限交换子群

给出GL(2,Z[i])中有限阶元所有可能的阶,确定了其中的有限阶元和有限循环子群的共轭类,由此构造出GL(2,Z[i]的有限交换群,进而确定了GL(2,Z[i])的所有有限交换子群的共轭类.     

IMTL逻辑系统的一种新扩张形式

提出了一种新的模糊逻辑系统 IMTL^*,这种逻辑系统的特点是只使用蕴涵这一种逻辑联接词。证明了这种逻辑系统是IMTL逻辑系统的模型扩张,并且 ?ukasiewicz 逻辑系统和逻辑系统ℵ^*都是它的模型扩张,应用这些结论给出了?ukasiewicz 逻辑系统和逻辑系统ℵ^*的蕴涵表示形式。只使用蕴涵这一种逻辑联接词的模糊逻辑系统将为模糊逻辑的应用提供方便。     

逻辑学及其在计算机科学中的应用

本文简单介绍了命题逻辑,一阶谓词逻辑,二阶逻辑,模态逻辑,时序逻辑,动态逻辑,模糊逻辑,非单调逻辑,组合逻辑及λ-演算等,讨论了它们之间的相互联系及各自在计算机科学,特别是在人工智能领域中的应用。     

客观世界的n元关系——兼谈传统形式逻辑和数理逻辑

当代形式逻辑对客观世界n元关系的研究,其视野是传统形式逻辑和数理逻辑无法相比的。从主导思想上看,传统形式逻辑是真正的名副其实的逻辑科学,但它只研究1元关系,不研究多元关系和真正普遍有效的关系推理,因此,传统形式逻辑顶多只能算n分之1的逻辑。数理逻辑虽然把1元或多元关系作为自己的研究对象之一,但它没有从内涵的角度去区分关于同一外延的k个尽管相当然而并不相同的n元关系,从量上说至少是"挂1漏k-1"的,即只从外延的角度研究一种关系而漏掉(k-1)种关系,因此,纯外延的数理逻辑顶多只能算k分之1的逻辑。当代形式逻辑从研究论域上的n目组和n目组集入手,亦即通过确定论域上的个体的所有不同序列,对论域上n个个体(n≥1)之间的所有关系进行了逻辑科学应有的全方位研究。     

逻辑功能与逻辑体制

对同一逻辑门电路，既可采用正逻辑体制，亦可采用负逻辑体制，还可采秀混和逻辑体制，选用何种逻辑体制，应视分析和设计逻辑电路的方便与否而定。     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.     

小议意愿逻辑的构建

意愿逻辑思想源于边沁 ,此后却未成体系。构建独立的意愿逻辑 ,首先要对其基本概念意愿算子W进行深入研究。意愿算子具有主观性 ,因而意愿逻辑是继认知逻辑等从“自然的”逻辑向“人类的”逻辑进一步拓展 ;意愿算子具有倾向性 ,与优先等概念相关 ,意愿逻辑就可借鉴吸取优先逻辑的成果 ;意愿算子还有因程度不同而形成的模态即意态问题 ,并由于倾向性 ,不能像真势模态逻辑那样归纳模态概念     

论物理教学中创造性思维的培养

阐述了在物理教学中如何培养学生的发散思维能力、逆向思维能力和横向思维能力以及如何运用思维的迁移规律 ,并提出了培养创造性思维的几种途径 .     

一种扩展的模糊描述逻辑

为了提高对复杂模糊信息的表示能力,提出一种扩展的模糊描述逻辑.扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系,继承经典描述逻辑中的概念构造器和知识库形式,建立新的知识表示逻辑体系.定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题.通过与模糊描述逻辑的比较,阐述了模糊描述逻辑可转化为扩展模糊描述逻辑,从而例证了扩展模糊描述逻辑具有比模糊描述逻辑更强的表达能力.     

论冯契对辩证逻辑的重要贡献

冯契对辩证逻辑有独特的研究,他对辩证逻辑的主要贡献有:第一,明确了辩证逻辑的研究对象,从而科学地区分了辩证逻辑与形式逻辑;第二,提出了具体概念学说,从而确定了辩证逻辑主题是研究具体概念的学说;第三,构建了富有中国传统哲学特色的范畴体系,从而展现了独特的辩证逻辑研究方法.     

分析和设计安全协议的新逻辑的语义

文献[1]中提出了一种分析和设计安全协议的新逻辑.协议分析者可以用该逻辑来对安全协议进行分析,而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议.文献[1]没有给出该逻辑的形式化语义,因为串空间模型具有良好的语义,现将新逻辑和串空间模型结合起来,给出新逻辑的串空间语义,并运用该语义证明了新逻辑的推理规则是正确的.