共查询到20条相似文献，搜索用时 0 毫秒
1.
孙诗瑜 《绍兴文理学院学报》1990,(4)
首先建立的所谓广义解析的理论及Л.Г.Михалов建立起来的广义解析函数的第二类表达式,引进近似于И.Н.Векуа关于全纯函数的高阶导数的表达式,利用 Green 公式,导出广义解析函数的高阶导数的表达式.然后利用此表达式,把广义解析函数的非线性R-H-P 问题化为非线性 Fredholm 型积分方程,最后建立泛函空间. 相似文献
2.
3.
栾静闻 《江汉大学学报(社会科学版)》1996,(6)
本文在文献［１］的基础上，给出一个一阶逻辑形式系统Ｋ＇；证明了Ｋ＇的限制概括规则和Ｋ＇演绎定理；证明Ｋ＇与文献［１］中的一阶逻辑形式系统Ｋ是等价的；通过比较Ｋ＇和Ｋ，说明Ｋ＇的有关元定理强于Ｋ的相应的元定理，同时说明概括规则对一阶逻辑形式系统的影响． 相似文献
4.
5.
本文给出一阶非线性微分方程可用初等积分法求解的条件,其结论推广了贝努利(Bernoulli)方 程,扩大了方程的可求解类型。 相似文献
6.
7.
文中提出新的四类非线性常微分方程,借助某些方法与技巧,论证了这几类方程可用积分法求解,获得的结论推广了文献中相应的结果。 相似文献
8.
王丕直 《宝鸡文理学院学报(社会科学版)》1993,(1)
本文对一阶微分方程的周期边值问题,在较弱条件下,建立两个上下解比较定理,并构造出解的上下单调逼近序列。所得定理1推广了[1]中定理1.1.7。 相似文献
9.
10.
一类一阶双曲型方程的样条解法 总被引：2，自引：1，他引：1
柯云泉 《绍兴文理学院学报》1997,(6)
利用二元二次样条，给出了一类一阶双曲型方程的样条解；证明了这样样条解的存在性．唯一性以及它的收敛性与稳定性；并举例说明本方法的可行性。 相似文献
11.
熊明 《湖南科技大学学报(社会科学版)》2006,9(6):27-31
熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。相对于这一外延语义,一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画。比之于外延语义的解释,内涵语义的解释使一阶语言更接近于自然语言的语义,而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。 相似文献
12.
13.
14.
在研究二阶Sturm-Liouville问题的边界条件时,通常会将这些边界条件分为分离型、耦合型及特殊的退化型3种类型.在研究具有间断点的Sturm-Liouville问题的自伴边界条件时,可考虑将其分为2种情况：在间断点处有转化条件和在间断点处没有转化条件时自伴边界条件的分类. 相似文献
15.
16.
研究了一类具有变系数和变偏差的一阶非线性中立型方程，建立了方程的所有解振动的Ｓｈａｒｐ条件，并给出了方程的线性化极限振动准则。 相似文献
17.
18.
《兰州大学学报(社会科学版)》2016,(6):154-157
人工智能研究中使用的主要语言是一阶逻辑语言,而非程序语言,其特点在于计算不再是其主要特征,更注重推理过程和知识库构建,结合诊断规则和因果规则,使智能体获得理性判断能力。 相似文献
19.
20.
胡义昭 《重庆理工大学学报(社会科学版)》2014,28(12)
在模型论语义下,一个公式是否具有有穷模型往往和可计算性相关.但是我们也可以仅仅从基数的角度来观察,譬如在一阶语言里,是什么样的因素强迫一个公式有或者没有有穷模型.对比于一个有穷模型的所有理论①都具有有穷模型性这一事实,发现存在另外一类无穷模型,通过不相交并的方式构造出来,因而它们的所有一阶理论都有有穷模型性. 相似文献