无穷损害方法的框架模式

本文将对递归枚举度构造中的几种主要我穷损害方法－真步集方法、树构造方法、弹球机方法等作一框架性的描述，从而探讨其内在联系与区别。并为今后对上述方法建立起统一的理论机制做一些准备和尝试。     

一元涵词Horn子句的矩阵描述

在本文中我们将在分析一阶程序逻辑的求解过程的基础上，讨论可满足性与布尔阵的关系，并给了一元涵词Ｈｏｒｎ子句可满足性的矩阵描述。     

基于知识框架的计算机题库建设

本文讨论基于知识框架上的计算机题库系统,本系统的数据库由下列数据库组成：知识库,题目库,系统库,这三个数据库的作用分别为;利用知识框架建立题目库以及相关各项指标,题目库用于组成试卷,系统库用于试卷的分析与统计,本文分析了这些库的构成,功能,属性及其相互关系。