面向计算机科学的数理逻辑 | 2版.pdf
本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。
数理逻辑
面向计算机科学的数理逻辑（第二版） 陆钟万 著.pdf
本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求。本书研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。本书大部分章节附有习题。
数理逻辑引论：计算机科学与系统的天然基础 刘志明,裘宗燕 编著.pdf
数理逻辑系统是形式语言、形式语义和证明的三位一体。本书讨论这类系统的核心思想、重要概念、组成部分、构建方法，以及它们与数学和计算机科学的紧密关系，解释数理逻辑系统中符号化语言、解释、模型等概念，研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正是这些概念、
简明数理逻辑.pdf
本书首先简要介绍了数理逻辑的发展、形式系统及一些预备知识，然后介绍了集合论，详细讲解了命题演算、谓词演算、可计算性理论和哥德尔不完全性定理，最后介绍了模型论的基础知识和方法。全书重点突出，论证详细，各部分内容配有典型的例子和习题，以便读者更好地理解、掌握相关知识。
数理逻辑通俗讲话.pdf
本书是作者在关于数理逻辑的六次讲演的基础上写成的．全书共八章并有三个附录．第一章和第八章是一般性概述．第二章介绍形式系统、谓词演算和G#del不完全性定理以及不可判定的数学问题．第三章介绍计算机的进展、计算机应用的几个例子和四色定理的证明．第四章讨论问题与解，第五章讨论一阶逻辑，
数理逻辑基础与粒计算.pdf
本书分两部分。前四章为第一部分，讨论数理逻辑的基础知识，包括经典命题演算、经典谓词演算和非经典的模态逻辑；后两章为第二部分，包括采用逻辑方法对粒和粒计算的形式化、粒空间中基于粒计算的粒语义推理、粒计算与逻辑推理相互融合的讨论、粒计算的应用等。
数理逻辑引论与归结原理 | 2版.pdf
Introduction to Mathematical Logic Resolution Principle,Second Edition,in nine chapters,discusses Boolean algebra theory,propositional calcu
数理逻辑基础 | 下册.pdf
本书陈述数理逻辑的基础知识，包括逻辑演算的基本内容．这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同的基础． 本书共六部分，分上、下两册．下册包括第三、四、五章和两个附录．第三章陈述逻辑演算的重言式系统，并研究自然推理系统和重言式系
数理逻辑与集合论.pdf
本书的内容为数理逻辑和集合论，共8章.第1～5章是数理逻辑部分：第1~3章是数理逻辑，包括命题逻辑、谓词逻辑及其公理化理论；第4章是简单模态逻辑，第5章是利用基础知识分析基础教育阶段数学教学中遇到的问题.在每一节中将本节内容所渗透的重要的思想方法提炼出来放在后面，以期利于读者对内
数理逻辑基础 | 上册.pdf
本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容．这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同的基础． 本书共六部分，分上、下两册．上册包括绪论、第一章和第二章．绪论对数理逻辑的性质，逻辑演算的大概内容，以及阅读以后各章所需要
- «
- »