论文部分内容阅读
UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统.本文引入UB代数滤子的概念,讨论了UB代数的一系列性质.证明了理想状态下泛逻辑形式演绎系统B的完备性与强完备性.
理想状态下泛逻辑的形式演绎系统B的完备性
【摘 要】
：
UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统.本文引入UB代数滤子的概念,讨论了UB代数的一系列性质.证明了理想状态下泛逻辑形式演绎系统B
【机 构】
：
西北工业大学计算机学院
【出 处】
：
计算机科学
【发表日期】
：
2005年6期
其他文献
介绍了网络档案信息资源组织与数字图书馆，从文件方式、数据库方式、主题树方式、超媒体方式讨论了网络档案信息资源的内在技术上的组织方式；从建立档案目录中心、加入搜索引擎
本文提出一种遗传进化规划,该方法结合了遗传算法和进化规划两种算法的优点,在进化过程中遗传算法的交换率、变异率和进化规划的变异规则均根据种群的进化信息而自适应变化.