书籍简介:

本书是一本经典的逻辑教科书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专题，如歌德尔不完全性定理等，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题，因而已成为一本经典的教科书。该书在每章末尾还增加了习题，并重新组织和改写了某些章，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。

书籍规格:

书籍详细信息
书名	可计算性与数理逻辑站内查询相似图书
丛书名	国外计算机科学教材系列
	9787121007798 《可计算性与数理逻辑》pdf扫描版电子书已有网友提供资源下载链接,请点击下方按钮查看
出版地	北京	出版单位	电子工业出版社
版次	1版	印次	1
定价(元)	29.0	语种	简体中文
尺寸	26	装帧	平装
页数		印数	5000

全网搜索试读资源

书籍信息归属:

可计算性与数理逻辑是电子工业出版社于2005.06出版的中图分类号为 O141 的主题关于数理逻辑－教材 ,可计算性－教材的书籍。