首页--数理科学和化学论文--数学论文--数理逻辑、数学基础论文--数理逻辑(符号逻辑)论文

空间推理中固态物体及空洞的形式化描述

摘要第1-4页
Abstract第4-6页
第一章 前言第6-7页
第二章 布尔代数与直接积理论第7-12页
   ·布尔代数(布尔格)第7-9页
   ·直接积理论第9-12页
第三章 关系及关系代数第12-18页
   ·二元关系和关系代数第12-14页
   ·关系代数的一些性质第14-18页
第四章 区域内部连通性,洞及固体第18-26页
   ·导言第18-19页
   ·BCA中对象的内部连通性第19-23页
   ·Mormann等人眼中的"洞(Hole)"第23-25页
   ·实体第25-26页
第五章 一个无空洞的RCC模型第26-33页
   ·模型的构造第26-28页
   ·D上连接关系的定义第28-32页
   ·讨论第32-33页
第六章 总结第33-34页
参考文献第34-36页
致谢第36-37页

论文共37页,点击 下载论文
上一篇:论区域民俗与沈从文的文学创作
下一篇:论商业秘密的法律保护