计量逻辑学相关论文
当今正处于信息爆炸时代,信息具有数据量大,来源广,不确定等新特点.一方面,需要将多种信息进行有效的融合,另一方面需要提取关系到......
在数理逻辑中,一个逻辑公式有真和假之分.它主要是从语构和语义的角度来判断逻辑公式的真与假,并通过完备性将它们的推理统一起来.......
布尔函数作为研究密码学的重要工具得到了广泛的关注.旋转对称布尔函数是一类多输入单输出布尔函数,具有良好的密码学性质，已经被应......
在命题逻辑中经常要研究从某个命题之集Γ={ An|n=1,2,…}(即,理论)到另一个命题A的推演,即,从前提信息之集?推出某个结论A来.但是......
数理逻辑的特点在于符号化与形式化，它所注重的精准的、形式化的逻辑推理是人工智能学科及相关研究中普遍采用的方法;计算数学的特......
在数理逻辑中，一个逻辑公式有真和假之分.它主要是从语构和语义的角度来判断逻辑公式的真与假，并通过完备性将它们的推理统一起来.但......
在软件学中，基于二值逻辑演算理论去求解一个公式集合关于事实集合的所有极大相容子集（即极大缩减）是信念修正理论中的一个核心问题.......
在多值逻辑系统中给出了计量逻辑学中单个公式到Γ结论集的距离公式,在此基础上,给出发散度的简化形式,讨论了计量逻辑学中三种近......
