名称 面向对象空间逻辑
索引号 TP312/20107
分类号 TP312
TP312(程序语言、算法语言)
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 毛明毅、陈志成、何华灿、
出版社 西安 : 西北工业大学出版社, 2009
ISBN 978-7-5612-2646-9
页数 200页 : 图 ; 23cm
价格 CNY30.00
标签
简介
注解 国家自然科学基金资助项目 (No. 6027308) 西北工业大学基础研究基金资助项目 (No. W018101) 北京工商大学学术专著出版资助项目 英文并列题名取自封面 有书目 (第191-200页) 本书重点介绍了面向对象空间逻辑的基本概念、运算模型、推理规则以及应用形式。内容包括:绪论、逻辑基础与OSLOM、面向对象空间逻辑分析、面向对象空间逻辑运算模型、面向对象广义推理规则等。
书籍简介

《面向对象空间逻辑》适用于大专以上文化水平,对逻辑学、数学、计算机、信息处理等感兴趣的读者,也可供相关研究方向的专家学者、青年教师以及高年级本科生和研究生参考。逻辑是思维的运算法则,泛逻辑是研究逻辑自身体系结构与运算规律的逻辑。面向对象空间逻辑是在泛逻辑的基础上,引进了“面向对象”和“广义空间”的概念,把基于形式命题的推理发展成为基于命题对象的推理,建立了基于任意区间[a,b]上的可推理的逻辑体系。《面向对象空间逻辑》重点介绍了面向对象空间逻辑的基本概念、运算模型、推理规则以及应用形式。