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

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

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

可计算性与数理逻辑摘要

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

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

作者简介

未发行或暂未收录

计算机程序设计艺术 第2卷 半数值算法（第3版）（英文影印版） 算法,计算机,计算机科学,Knuth,计算机程序设计艺术,经典,程序设计,algorithm,　2020-02-20 …

计算机算法的设计与分析 算法,算法与数据结构,计算机,计算机科学,Algorithm,编程,程序设计,C/C++,　2020-02-20 …

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

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

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

计算机体系结构(第2版中文版计算机科学与技术学科研究生系列教材)/计算机科学与技术学 计算机,　2020-02-20 …

形式逻辑和先验逻辑 逻辑学,现象学,胡塞尔,哲学,逻辑,数学,西方现代哲学,德国哲学,　2020-02-20 …

设计中的逻辑 设计,视觉设计,設計,交互设计,首图,　2020-02-20 …

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

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

可计算性与数理逻辑大结局

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