首页 | 本学科首页   官方微博 | 高级检索  
     

基于一阶逻辑的推理与运算的合并系统
引用本文:周青,伍丽华.基于一阶逻辑的推理与运算的合并系统[J].计算机科学,2002,29(Z1):92-95.
作者姓名:周青  伍丽华
作者单位:1. 中山大学软件研究所,广州,510275
2. 中山大学数学系,广州,510275
摘    要:1引言 一直以来,从逻辑系统到算术系统的转换都依赖于人工的描述,没有自动转换系统.例如,逻辑系统中已有以下信息:某班学生中选修数据结构课程的有50人,选修软件工程课程的有40人,两门课程都选修的有25人,求某课程的平均成绩.解决这样的问题,通常需要在逻辑程序设计语言系统中另外编写程序,执行后才能得到解答.


The Combined System of Reasoning and Arithmetic Based on First-order Logic
Abstract:
Keywords:
本文献已被 万方数据 等数据库收录!
点击此处可从《计算机科学》浏览原始摘要信息
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号