安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

可计算性与数理逻辑/(美)George S. Boolos, Jnhn P. Burgess, Richard C. Jeffrey著 何自强译

出版发行项:

北京:电子工业出版社,2005

ISBN及定价:

7-121-00779-7/CNY32.00

载体形态项:

288页;26cm

并列正题名:

Computability and logic

丛编项:

国外计算机科学教材系列

个人责任者:

布勒斯, G. S. (Boolos, George S.) 著

个人责任者:

伯吉斯, J. P. (Burgess, Jnhn P.) 著

个人责任者:

杰弗里, R. C. (Jeffrey, Richard C.) 著

个人次要责任者:

何自强 译

学科主题:

可计算性-教材

学科主题:

数理逻辑-教材

中图法分类号:

O141

版本附注:

据Cambridge University Press, 2002年英文版第4版译

出版发行附注:

本书中文简体专有翻译出版权由Cambridge University Press授予电子工业出版社

责任者附注:

责任者Boolos规范汉译姓: 布勒斯, Burgess规范汉译姓: 伯吉斯, Jeffrey规范汉译姓: 杰弗里

提要文摘附注:

本书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生, 书中不仅包括了中等深度的逻辑教程所讨论的基本专题, 如哥德尔不完全性定理等, 而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题, 因而已成为一本经典的教科书。

豆瓣简介：