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

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

定价	出版日期	最近访问	访问指数
38.00元	2020-02-20 …	2021-07-16 …	35

主题/类型/题材/标签

数学,逻辑学,逻辑,人工智能,计算理论,计算机,数理逻辑,计算机科学,

作者

布勒斯 (George S. Boolos) ISBN:9787505388284 原作名/别名:《Computability and Logic》

内容和作者简介

可计算性与数理逻辑摘要

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

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

作者简介

本书后续版本

未发行或暂未收录

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

微分方程与数学物理问题(中文校订版) 数学,mathematical_physics,数学与应用数学,微分方程,#MathsPh,　2020-02-20 …

Python数据处理数据分析,python,Python,编程,计算机,数据处理,爬虫,机器学习,　2020-02-20 …

自然哲学之数学原理牛顿,数学,自然哲学,哲学,经典,物理,数学原理,科普,　2020-02-20 …

数学物理方法II 数学,数学物理方法,物理,数学物理,柯朗,物理学,希尔伯特,科学,　2020-02-20 …

伟大的计算原理/计算机科学丛书计算机科学,计算机,CS,计算机科学导论,计算机科学丛书,计算,科普,计算思维,　2020-02-20 …

数学物理方法(第3版) 数学物理方法,物理,技能,专业,物理學,教材,paperbook,my,　2020-02-20 …

数学物理方法专题数学物理方法,　2019-06-01 …

数学物理方法 I 数学,数学物理方法,物理,数学物理,柯朗,希尔伯特,经典,科学,　2020-02-20 …

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

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