逻辑的应用 文章与逻辑篇 上

数理逻辑与集合论

《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与...

逻辑的应用 文章与逻辑篇 下

看故事·学逻辑 谢谢你，逻辑！

辩证逻辑新体系 〓透逻辑引论

数理逻辑基础与粒计算

粒计算是近年来计算机科学许多领域关注和研究的热点，对它的研究思路和处理的方法就是把大的问题分解为小的问题，把整体的概念分解为细小的概念，把复杂的处理分解为简单的处理，总之就是把整体分解为粒。然后再通...

数理逻辑引论

数理逻辑是离散数学的重要组成部分之一，是计算机科学的数学基础。本书内容主要侧重于逻辑演算：即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其它分支的共同基础。全书共分五章，分别介绍了数理逻辑...

数理逻辑教程 英文

这是一部学习数学逻辑和基础的研究生或者高年级本科生教程，不需要任何有关逻辑的预备知识，是学习数学逻辑的最综合全面的教材，包括了许多练习及解答提示，构成了本书的必不可少的一部分，非常适于自学。每一章分成...

范畴类型逻辑：从语言到逻辑

本书对范畴类型逻辑的发展、功能进行了全面的研究。

数理逻辑引论与归结原理

本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演...