检索结果-南通市图书馆

两类半离散含对数齐次核逆向的Hilbert型不等式

引用

广东第二师范学院学报 2012年第5期32卷 1-7页

作者：杨必成广东第二师范学院数学系广东广州510303

应用权系数的方法、复分析技巧及参量化思想,建立两类具有最佳常数因子的、半离散含对数齐次核逆向的Hilbert型不等式及其等价式.

关键词：权系数参数 Hilbert型不等式等价式逆式

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

离散数学结构及其在计算机科学中的应用(三)

引用

计算机工程 1978年第3期 60-76页

作者： J.P.TREMBLAY R.MANOHAR 陆菊康马蓓蓓

1—2·15 二值器件(设备)与命题逻辑至今我们所讨论的命题逻辑,称为二值逻辑。因为我们所采用的命题只有“真”或“假”这样的真假值。类似的情况存在于许多电子的与机械的设备,它们称为二值器件(设备)。我们首先给出这种共知的设备的... 详细信息

1—2·15 二值器件(设备)与命题逻辑至今我们所讨论的命题逻辑,称为二值逻辑。因为我们所采用的命题只有“真”或“假”这样的真假值。类似的情况存在于许多电子的与机械的设备,它们称为二值器件(设备)。我们首先给出这种共知的设备的例子,并说明它们与二值逻辑间的联系。

关键词：表达式最小项最大项联结词真值表算子泛函分析析取范式变元等价式

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

关于Lewis的模态系统S5的几个注记

引用

华中科技大学学报(自然科学版) 1979年第1期 13-17+7页

作者：高恒珊

本文分三个部分:其一,将应用作者在文献[4]和[5]中得到的关于S5（即S）和S5（即S）的单纯完全性定理来证明Barcan公式和Prior的导出规则RLM可以分别在S5和S5中推出.这一事实已由Prior在文献[9]中指出,但本文给出的语义证明比[9]中的语... 详细信息

本文分三个部分:其一,将应用作者在文献[4]和[5]中得到的关于S5（即S）和S5（即S）的单纯完全性定理来证明Barcan公式和Prior的导出规则RLM可以分别在S5和S5中推出.这一事实已由Prior在文献[9]中指出,但本文给出的语义证明比[9]中的语法证明要简捷一些;其二,考虑了由S5添加命题量词而得的系统S5的判定问题;Kaplan在文摘[6]中已证明S5（在[6]中记为S5Q）为可判定的.在本文中我们采用Rasiowa和Sikorski在[10]中对一大类带命题量词演算S引进的代数语义方法并具体用到Ackermann在[1]中给出的关于二阶一目谓词演算P判定问题的一些事实得到更多的结果;其三,我们再次应用S5的单纯完全性定理重新证明S5具有6个模态辞.此事系由O.Becker首先于1930年在文[3]中证明的,本文中的语义证明比Becker[3]中的语法证明似要精致一些.

关键词：等价式模态系统 S5 Lewis 定理模态振型

来源：

同方期刊数据库评论