集合代数相关论文
近年来,计算机应用正以各种方式越来越快地渗透到各个领域之中。其中以数据库,尤其是关系数据库的应用最为广泛。关系数据库以集合......
经典命题演算形式系统（CPC）中的公式只是一些形式符号,其意义是由具体的解释给出的。逻辑代数和集合代数都是布尔代数,都是CPC的解释......
选取一个非空集合X作为全集，2^X对交，并，差，补四种运算作成一个代数系统，文中给出了这四种运算的几个极小完备集。......
为了解决Web仿真中,关系代数这种数据模型的查询功能的局限性。介绍了一种形式化的集合代数(bulk algebra)称为TAX(Tree Algebra f......
联结词的本质是命题的运算,只有对所有命题都适用的真值函数才能用于定义联结词.概率逻辑中由于命题的内涵相关性,任何[0,1]上的函......
“一调”、“二调”以来,各土地管理部门积累了海量的长时间序列的土地利用数据。随着国土行业应用的日趋细化与深入,越来越重视历......
