一阶谓词逻辑的图形推理法

针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法。定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法。该方法推理效率高,较已有的推理方法具有一定的优越性。     

Java程序设计教学中图形界面事件处理的研究

在Java语言程序设计中会涉及图形用户界面的设计,而在界面设计中通常要引发某些界面事件,程序就要进行事件处理.该文对有关Java中的事件处理的方法、事件机制、接口及编程进行研究,为更好地帮助或促进编程者学习如何编写事件处理过程.     

Java程序中图形界面案例的分析与研究

Java语言程序设计中可以设计出满足用户需求的图形用户界面,在界面中可以包含组件、容器、布局管理器、事件等内容。本文针对图形界面中的几个案例进行分析和说明,以此让读者能更好地掌握有关图形用户界面的有关编程技巧。