排序方式： 共有3条查询结果，搜索用时 16 毫秒
1
1.
近年来,时序逻辑已成为程序和动态信息系统的描述与验证的一个强有力的工具。本文提出了一个可以很容易扩展到其它时序情形的命题时序逻辑的自然演绎系统——N系统。在N系统内,推理规则分成两组:水平推理规则和垂直推理规则。 相似文献
2.
1985年,Kung提出了一个可以高度并行的推理过程。这个推理过程用一个矩阵表示待驳斥的子向集,然后从该矩阵形成两个布尔矩阵(0-1矩阵)M~+和M~-,利用另一个布尔矩阵M(=M~+×(M~-)~T)中布尔 相似文献
3.
黎仁蔚 《东南大学学报(自然科学版)》1986,(4)
随着关系数据库理论与实践的发展,人们越来越注意到空值问题。本文引进了三种不同语义的空值,井在此基础上,讨论了空值对关系数据库的影响,给出了空值环境下的逻辑、集合和关系代数,还讨论了N关系代数的一些性质。 N关系代可用来作为处理数据库中空值问题的抽象数据查询语言。 相似文献
1