高等院校文科试用教材 数理逻辑讲义

离散数学导论 数理逻辑·集合·关系部分

本书内容包括数理逻辑，集合论，二元关系三部分。

数理逻辑

本书为国家十五教材。该书分演绎及其证实，真理与悖论，意义与指称，存在、量化和本体论，休谟问题与归纳逻辑，共五个部分，对逻辑哲学进行了全面系统的概论，同时吸收了近几年国际逻辑哲学方面的最新进展，每一章后......

波科学的数理逻辑

本书收集了黄志洵教授在不同时期发表的科学论文31篇，收入逯贵祯教授于2011年3月发表的文章“黄志洵教授的科学贡献”以及黄志洵的一些旧体诗作。...

数理逻辑

本书分数学基础基本理论与数理逻辑部分，其中数学基础基本理论部分包括：集合论基础、可计算性理论基础等内容，数理逻辑部分包括：形式命题演算、谓词演算、谓词演算形式系统等内容。本书可帮助学生按照“宽口径、...

数理逻辑的思想与方法

本书共分6章。第一章介绍了运算的基本思想与方法；第二章至第四章介绍了命题逻辑的思想和方法；第五六章介绍了狭谓词逻辑的基本思想与方法。...

吴允曾选集 数理逻辑与计算机科学

数理逻辑是什么

本书是一本关于数理逻辑的导论书，面向的是没有任何数学基础的读者，主要介绍了数理逻辑中谓词演算的完全性、模型论、递归函数、哥德尔不完全性定理、集合论等，以帮助读者掌握关于数理逻辑的一般知识，提高其在日...

数理逻辑引论

本书内容主要侧重于逻辑演算：即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其它分支的共同基础。全书共分五章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演...

数理逻辑发展史 从莱布尼茨到哥德尔