论文研究 基于零级泛与运算的泛逻辑中的广义重言式理论.pdf
本文对泛逻辑的广义重言式理论进行研究。给出了基于零级泛与运算的广义重言式的一系列性质。主要结果有:当c 取[0.75, 1]时,关于I 而言,F(S)中只有3种不同的广义重言式,即,可达0-重言式、0 -重言式和重言式;当h=0时,关于I 而言,F(S)中存在0、1可达重言式,当 c取 (0,1),不存在 c-重言式、 c -重言式和可达 c-重言式;通过h=0.5时的广义重言式对 h 取(0, 0.75) 时的广义重言式进行了刻画。
用户评论
推荐下载
-
泛型与集合类.pdf
Java中参数化类型。以集合为例,集合可以使用泛型限制被添加元素的数据类型,若将不符合指定数据类型的元素添加到集合类,编译器会报错。。。。
18 2020-03-23 -
泛克里金插值法的研究.pdf
泛克里金插值法的研究.研究生论文,免费,全是在中国知网下载的,保证值得一看
31 2019-05-13 -
java基于泛型与反射的通用DAO
java的基于泛型+反射的通用DAO例子,原创,没事写着玩的,请多指教哈。。。
73 2019-08-01 -
DFT密度泛函理论PPT
DFT密度泛函理论介绍包括kohn-Sham方程、Hohenberg-Kohn定理等
34 2019-05-06 -
泛函分析理论和应用
该书提出了一个连贯的、确切的、统一的方法将两个来自不同领域的元素——泛函分析和偏微分方程,结合在一起,旨在为具有良好实分析背景的学生提供帮助。通过详细地分析一维PDEs的简单案例,即ODEs,一个对初
270 2019-05-13 -
论文研究2CNF理论的逻辑差.pdf
如何刻画知识库不同版本之间的区别是研究知识库动态更新中的一个重要问题。提出了命题逻辑知识库的逻辑结论差概念(称为逻辑差)。然而,一般知识库之间逻辑差的计算是不易处理的,而且不满足范畴性,即不能保证其结
18 2020-07-16 -
解析Swift中的泛型支持与使用
支持泛型意味着可以在规定参数类型的情况下更灵活地编写程序,也是Swift语言先进而又强大的体现,这里我们就来解析Swift中的泛型支持与使用:
4 2021-01-16 -
论文研究移动泛在网络中的可信移动平台安全性研究.pdf
移动泛在网络中的可信移动平台安全性研究,童磊,袁超伟,移动泛在网络(MUSE)作为对未来移动异构网络融合的规划和设计,将成为未来移动通讯的发展趋势。本文对移动泛在网络的架构和特点��
27 2020-04-25 -
论文研究基于逻辑方法的开放式规划问题研究.pdf
在开放世界中求解智能规划问题往往是比较困难的,这是由于在开放世界中,某些对象可能是未知的,因而在搜索规划解时需要考虑不同的可能性。针对开放世界中的规划问题,通常需要使用传感器观察未知的对象,但是传感器
45 2020-03-06 -
论文研究基于IHS变换和优化的新型混合泛锐化方法
色相饱和度(IHS)变换是最常用的图像融合方法。 通常,将强度图像替换为全色(PAN)图像,或者将PAN和强度图像之间的差异添加到RGB图像的每个波段中。 可以使用IHS方法将PAN图像中的空间结构信
20 2020-07-17
暂无评论