排序方式: 共有27条查询结果,搜索用时 15 毫秒
1.
本文讨论了基于知识的系统的知识库的一致性与完备性检验;给出了知识库的一致性与完备性的定义及检验方法;探讨了知识库的各种潜在问题对推理过程及结果的影响. 相似文献
2.
肖杰 《内蒙古师范大学学报(自然科学版)》1991,(4):1-12
本文构造一类带权的Orlicz—Bergman空间,讨论了一些基本性质,找到了它与Bloch空间的范数等价关系,它们是Axler,He与Ouyang定理的推广。 相似文献
3.
潘正华 《曲阜师范大学学报》1988,(4)
本文讨论了中介谓词逻辑系统 MF 的完备性。为了证明 MF 的完备性定理,在文中引入了协调性与极大协调集等概念,获得了中介谓词逻辑系统 MF 完备性的几个基本结果。 相似文献
4.
研究了2个双扭双代数(Hopf代数)分次对偶的完备性,给出了2个双扭双代数(Hopf代数)的分次对偶是完备的充分必要条件。 相似文献
5.
本文讨论了态迭加原理和本征函数完全性假设二者的关系,认为它们是两个相容的独立原理,说其中之一为另一个的特殊情况是不妥的. 相似文献
6.
罗铸楷 《湘潭大学自然科学学报》1991,13(1):119-126
系统地讨论了准完备类中的一元半群,定出了全部极大木质一元半群和群,从而精确地定出了基本一元集和基本群的充要条件。此外,还简捷地明明了不可迁群和非本原群的极大性定理。 相似文献
7.
设备订货技术协议书编制和签订作为船舶和海洋平台项目的一个重要环节,其质量的好坏会直接影响整个船舶和海洋平台上的设备资料供图和供货以及售后服务质量,进而影响设计和生产施工计划的完成和质量好坏,后果严重的甚至会因此而影响到船厂的名誉。所以设备订货技术协议书的内容完备、措词严谨、考虑缜密越来越被众多的知名设计公司、院所和船厂所重视。本文根据多年的工作经验将主要就船舶和海洋平台用设备订货技术协议书编写时所要包含的内容尤其是易忽略的部分和需注意的相关事项做详细论述。 相似文献
8.
本讨论了命题逻辑和一阶逻辑中应用可靠性定理和完备性定理所解决的一些代表性问题,还讨论了极大协调集在建立可靠性定理和完备性定理的证明过程中所起的作用。 相似文献
9.
罗铸楷 《湘潭大学自然科学学报》1987,(4)
多值逻辑的研究是计算机科学技术中的一个十分重要的领域,它与未来计算机密切相关。国际上技术先进的国家如美国、苏联、日本、加拿大等都十分重视。自1971年以来每年召开一次国际会议,完全多值逻辑函数的完备性理论自四十年代起始终是多值逻辑中引入注目的,活跃的课题之一。本文总结了近代的发展情况和主要的新成果,并对仅有中文的结论以简要的证明。 相似文献
10.