可计算性与数理逻辑读书介绍

类别	页数	译者	网友评分	年代	出版社
书籍	288页		8.4	2020	电子工业出版社

定价	出版日期	最近访问	访问指数
32.00元	2020-02-20 …	2021-08-15 …	87

主题/类型/题材/标签

数理逻辑,数学,计算机科学,计算机,逻辑,逻辑学,哲学,计算,

作者

布勒斯 ISBN:9787121007798 原作名/别名:《》

内容和作者简介

可计算性与数理逻辑摘要

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

本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者，此书也是大有裨益的。

作者简介

译者和作者是什么差别？别搞混了

本书后续版本

未发行或暂未收录

喜欢读〖可计算性与数理逻辑〗的人也喜欢：

有毒的逻辑：为何有说服力的话反而不可信逻辑学,思维,逻辑,沟通,方法论,斗嘴斗智备用,思考方法,好书，值得一读,　2020-02-20 …

隐性逻辑逻辑,思维,思考,心理学,自我完善,方法论,我想读这本书,反思,　2020-02-20 …

逻辑与计算机设计基础数字电路,FPGA逻辑,基础,CS,CG,　2020-02-20 …

面向计算机科学的数理逻辑系统建模与推理计算机科学,数理逻辑,数学,逻辑,计算机,推理,建模,CS,　2020-02-20 …

面向计算机科学的数理逻辑系统建模与推理数理逻辑,计算机科学,计算机,逻辑,数学,逻辑学,推理,模型检测,　2020-02-20 …

论可计算数数学,计算机,计算理论,科普,图灵,计算机科学,人工智能,编程,　2020-02-20 …

可以计算的人生人生规划,个人管理,励志,卡内基,个人修养,生活,职业发展,方法,　2020-02-20 …

可计算性与数理逻辑数学,逻辑学,逻辑,人工智能,计算理论,计算机,数理逻辑,计算机科学,　2020-02-20 …

黑格尔《逻辑学》开篇：从存在到无限性黑格尔,哲学,德国古典哲学,黑格尔研究,黑格尔及其研究,逻辑学,Hegel,西方哲学,　2021-03-01 …

可计算性与数理逻辑数理逻辑,数学,计算机科学,计算机,逻辑,逻辑学,哲学,计算,　2020-02-20 …