论文部分内容阅读
UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统.本文引入UB代数滤子的概念,讨论了UB代数的一系列性质.证明了理想状态下泛逻辑形式演绎系统B的完备性与强完备性.
理想状态下泛逻辑的形式演绎系统B的完备性
【摘 要】
：
UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统.本文引入UB代数滤子的概念,讨论了UB代数的一系列性质.证明了理想状态下泛逻辑形式演绎系统B
【机 构】
：
西北工业大学计算机学院
【出 处】
：
计算机科学
【发表日期】
：
2005年6期
其他文献
Intemet网上有很多收集论文的网站，如何利用这些网站查找所需的论文呢?一是应学会查找有关收集和发布论文的网站。找这类网站，只要用“论文”做关键词进行搜索即可。例：在google
本文论述了数字图书馆的产生、定义、意义，以及数字图书馆建设应遵循的原则，指出了数字图书馆建设中存在的问题，并针对这些问题提出了建议。
介绍了网络档案信息资源组织与数字图书馆，从文件方式、数据库方式、主题树方式、超媒体方式讨论了网络档案信息资源的内在技术上的组织方式；从建立档案目录中心、加入搜索引擎
ＭＲＩ问世以来，脊髓空洞症的诊断率明显提高，对其外科治疗方法的研究报导颇多。诸如单纯后颅凹减压术，空洞抽吸造痿术，空洞—蛛网膜下腔分流术，空洞—环池分流术，空洞—腹腔分流术等。诸
本文提出一种遗传进化规划,该方法结合了遗传算法和进化规划两种算法的优点,在进化过程中遗传算法的交换率、变异率和进化规划的变异规则均根据种群的进化信息而自适应变化.
医学文献检索是一门多学科、实践性、应用性和技术性很强的课程。本文从趣味教学、愉快教学，介绍了教学方法的艺术性；从机检教学、网络教学阐述了教学内容要与时俱进的现代化教