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

最大不动点模型下的描述逻辑系统FL0的有穷基

摘要第1-4页
Abstract第4-7页
第一章 引言第7-9页
第二章 形式概念格第9-12页
   ·背景与概念第9-10页
   ·属性间的蕴含第10-11页
   ·本章小结第11-12页
第三章 描述逻辑系统FL_0第12-23页
   ·描述逻辑系统FL_0 语法第12-13页
   ·描述逻辑系统FL_0 的语义第13-15页
   ·描述逻辑系统FL_0 的循环术语集第15-22页
   ·本章小结第22-23页
第四章 描述逻辑中的概念分析第23-30页
   ·形式概念分析应用于描述逻辑第23-26页
   ·描述逻辑系统FL_0 的有穷基第26-30页
第五章 总结与展望第30-31页
参考文献第31-34页
致谢第34-35页

论文共35页,点击 下载论文
上一篇:用K矩阵方法研究Dπ,Dη,D_s(?)散射
下一篇:缺失数据情形半参数回归模型的二阶段估计