逻辑基础

数理逻辑基础 | 下册.pdf

本书陈述数理逻辑的基础知识,包括逻辑演算的基本内容.这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础. 本书共六部分,分上、下两册.下册包括第三、四、五章和两个附录.第三章陈述逻辑演算的重言式系统,并研究自然推理系统和重言式系

数学无穷与中介的逻辑基础.pdf

本书讨论经典与非经典数学的基础问题,其核心主题是介绍中介数学;严格定义了潜无限、实无限和基础无限,并研讨了无穷集合的相容性问题;建立了潜无限数学系统;讲述如何改造传统造集观念;给出了古今数学物理危机中相关一流问题的解决方案。

数理逻辑基础 | 上册.pdf

本书介绍数理逻辑的基础知识,包括逻辑演算的基本内容.这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础. 本书共六部分,分上、下两册.上册包括绪论、第一章和第二章.绪论对数理逻辑的性质,逻辑演算的大概内容,以及阅读以后各章所需要

数理逻辑基础与粒计算.pdf

本书分两部分。前四章为第一部分,讨论数理逻辑的基础知识,包括经典命题演算、经典谓词演算和非经典的模态逻辑;后两章为第二部分,包括采用逻辑方法对粒和粒计算的形式化、粒空间中基于粒计算的粒语义推理、粒计算与逻辑推理相互融合的讨论、粒计算的应用等。