数理逻辑引论：计算机科学与系统的天然基础 刘志明,裘宗燕 编著.pdf 数理逻辑系统是形式语言、形式语义和证明的三位一体。本书讨论这类系统的核心思想、重要概念、组成部分、构建方法，以及它们与数学和计算机科学的紧密关系，解释数理逻辑系统中符号化语言、解释、模型等概念，研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正是这些概念、 叁号仓库 2023年04月21日 0 点赞 0 评论 2834 浏览
面向计算机科学的数理逻辑（第二版） 陆钟万 著.pdf 本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求。本书研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。本书大部分章节附有习题。 叁号仓库 2024年01月20日 0 点赞 0 评论 8260 浏览
