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

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

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

可计算性与数理逻辑摘要

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

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

作者简介

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

未发行或暂未收录

MATLAB数值计算 Matlab,数值计算,数学,计算机,数值分析,编程,程序设计,工具书,　2020-02-20 …

现代非参数统计 非参数,统计学,统计,数学,数据分析,statistics,非参数统计,专业相关,　2020-02-20 …

磁滞数学模型及考虑磁滞时磁场数值计算 磁滞模型,电磁场,数值计算,　2020-02-20 …

数据库管理系统原理与设计 数据库,计算机,Database,数据库管理系统原理与设计,教材,软件开发,计算机应用Pro,清华大学出版社,　2020-02-20 …

数据库管理系统原理与设计 数据库,计算机,教材,数据库理论,软件工程,DB,编程,计算机科学,　2020-02-20 …

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

河洛理数 术数,易经,玄学,哲学,易,文化,古文,历史,　2020-02-20 …

谐振仪 音乐数学原理的可视化向导 音乐,数学,科普,数据可视化,视觉,科学探索,科学技术,科学史,　2020-02-20 …

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

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

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

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