数理逻辑读书介绍

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

(美)Herbert B. Enderton 著      ISBN:9787115141453    原作名/别名:《A Mathematical Introduction to Logic, Second Edition》

数理逻辑摘要

本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。.

本书是数理逻辑方面的经典教材，以可读性强而著称，在美国大学中采用率极高，麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活，增加了与计算机科学相关的主题(比如有限模型)，还增加了一些示例和阐释文字，更适合本科生和研究生数理逻辑课程使用。.

作者简介

Herbert B.Enderton，哈佛大学博士，师从著名哲学家hilary putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授，该校“逻辑学论坛”主席，曾担任《符号逻辑学会评论》杂志的主编。除本书外，他还著有另外两本广受好评的教材elements of set theory（影印版已经由人民邮电出版社出版）和linear algebra。

未发行或暂未收录

面向计算机科学的数理逻辑系统建模与推理 计算机科学,数理逻辑,数学,逻辑,计算机,推理,建模,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 …

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

数理逻辑大结局

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