陆钟万面向计算机科学的数理逻辑.pdf 中科院经典教材......

软件介绍: PDF扫描版《可计算性与数理逻辑》语言是简体中文，清晰度尚可。    我们的最终目标是给出某些关于计算能力和证明能力局限性的重要定理.在此之前，需要分析可计算性和可证明性.最初，计算涉及正整数1，2，3，…，而证明由通常的字母A，B．C…或某些其他符号的序列组成。重要的是，要通过分析可计算性和可证明性，来理解正整数和符号序列之间的关系，以及本章提供的有关背景材料。讨论的主要问题是区分两类不同的无限集：可枚举集和不可枚举集。本章只是集合论著作中更全面阐述的无限集理论内容的一部分：与计算和证明密切相关的部分。1.1节引进可枚举性的概念，1.2节则列举一些可枚举集的例子。下一章将给出不可枚举集的例子。

一个很好的数理逻辑课堂讲义，天津大学研究生课上PPT

数理逻辑课件，关于计算机方面的知识！值得我们看看，如果可以喔继续上传！

本书是国防科大王兵山主编的一本1993年版本的数理逻辑，如果有考博需要可以下载哦！

经典计算机数理逻辑教材，被国内外高校采用。 作者 Michael Huth ,Mark Ryan 英文打印原版

北邮全套的研究生高级数理逻辑资料哦，还有个人整理的部分试卷答案，资源丰富。

logic in computer science(面向计算机的数理逻辑)英文pdf附答案

非常好的数理逻辑入门书籍，清晰明白。 比国内的中文书籍讲的好。

逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 数理逻辑的内容： 1、 命题逻辑系统 2、 一阶谓词逻辑系统 命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。命题是指具有具体意义的又能判断它是真还是假的句子。