不完全
哥德尔不完全性定理.pdf
《哥德尔不完全性定理》主要介绍哥德尔不完全性定理，在用简单例子解说哥德尔的本质思想的基础上，证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理，给出了基于—致性的原初证明、基于简单一致性的证明、基于一些基本技术素材和一个不动点原理的证明，结合典型逻
逻辑——从三段论到不完全性定理.pdf
本书以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。本
不完全信息下XML数据库基础.pdf
本书内容包括：XML概述、基于编码的XML数据库存储方法、不完全信息下XML强函数依赖推理规则、概率数据模型分析和数据的转换、概率XML树的结点概率查询算法等。
不完全信息条件下双主并方动态合作的并购策略研究.pdf
本书从合作博弈的视角出发，运用实物期权方法和最优停时理论，求解了双主并方动态合作情形下的最佳报价与还价策略、最优持股策略，以及最佳并购时机。在此基础上，通过严谨的实验，对以上相关理论研究的结论进行了验证。本书用语朴素，表达精炼，又不失专业性和科学性，是国家自然基金项目研究的阶段性