可计算性与数理逻辑 新书_图书内容介绍_剧情呢
剧情呢 国产剧 港剧 泰剧

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

类别 页数 译者 网友评分 年代 出版社
书籍 288页 8.4 2020 电子工业出版社
定价 出版日期 最近访问 访问指数
32.00元 2020-02-20 … 2021-08-15 … 87
主题/类型/题材/标签
数理逻辑,数学,计算机科学,计算机,逻辑,逻辑学,哲学,计算,
作者
布勒斯      ISBN:9787121007798    原作名/别名:《》
内容和作者简介
可计算性与数理逻辑摘要

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

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

作者简介

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

本书后续版本
未发行或暂未收录
喜欢读〖可计算性与数理逻辑〗的人也喜欢:

  • 计算机程序设计艺术 第2卷 半数值算法(第3版)(英文影印版) 算法,计算机,计算机科学,Knuth,计算机程序设计艺术,经典,程序设计,algorithm, 2020-02-20 …
  • 面向计算机科学的数理逻辑系统建模与推理 计算机科学,数理逻辑,数学,逻辑,计算机,推理,建模,CS, 2020-02-20 …
  • 面向计算机科学的数理逻辑系统建模与推理 数理逻辑,计算机科学,计算机,逻辑,数学,逻辑学,推理,模型检测, 2020-02-20 …
  • 数理逻辑 数理逻辑,数学,逻辑学,哥德尔,逻辑,大三下,高分,画画, 2020-02-20 …
  • 数理逻辑 数理逻辑,逻辑学,数学,逻辑,哲学,教材,符号学,语义, 2020-02-20 …
  • 论可计算数 数学,计算机,计算理论,科普,图灵,计算机科学,人工智能,编程, 2020-02-20 …
  • 数理逻辑 数理逻辑,数学,逻辑,逻辑学,计算机,入门,阅读,高分, 2020-02-20 …
  • 数理逻辑 数理逻辑,数学,逻辑,逻辑学,计算机科学,计算机,哲学,计算理论, 2020-02-20 …
  • 可计算性与数理逻辑 数学,逻辑学,逻辑,人工智能,计算理论,计算机,数理逻辑,计算机科学, 2020-02-20 …
  • 可计算性与数理逻辑 数理逻辑,数学,计算机科学,计算机,逻辑,逻辑学,哲学,计算, 2020-02-20 …
  • 友情提示

    剧情呢,免费看分享剧情、挑选影视作品、精选好书简介分享。