数理逻辑 pdf epub mobi txt 电子书下载 2024

☆☆☆☆☆
简体网页||繁体网页

(美)Herbert B. Enderton 著

人民邮电出版社

2006-01-01

317

39.00

平装

图灵原版计算机科学系列

9787115141453

图书标签: 数理逻辑数学逻辑逻辑学计算机科学数学基础计算机哲学

喜欢数理逻辑的读者还喜欢

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到小哈图书下载中心

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-05-11

数理逻辑 epub 下载 mobi 下载 pdf 下载 txt 电子书下载 2024

数理逻辑 pdf epub mobi txt 电子书下载 2024

图书描述

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

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

数理逻辑下载 mobi epub pdf txt 电子书

著者简介

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

图书目录

数理逻辑 pdf epub mobi txt 电子书下载

想要找书就要到小哈图书下载中心

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

用户评价

评分☆☆☆☆☆

很好的一本书。从直观基础出发，再到公理系统。习题不错。后边不完备定理也讲清楚了。

评分☆☆☆☆☆

大致看过前半部分，后半部分稍有了解（事实上我发现数理逻辑/可计算性的老师从中参考了很多) 应该算是公认的经典教材。过两天就要还给图书馆且多半不会再看了，翻到豆瓣书评的讣告，一阵心酸

评分☆☆☆☆☆

很好的一本书。从直观基础出发，再到公理系统。习题不错。后边不完备定理也讲清楚了。

评分☆☆☆☆☆

@2017-08-31 20:52:23

评分☆☆☆☆☆

全面，又细致，关注点都是核心问题……第二遍学数理逻辑超好的一本教材

读后感

评分☆☆☆☆☆

用集合论构建逻辑，看的我头大。硬着头皮读吧。当初买这本书，就是看中了第二章讲了点无穷小分析。

评分☆☆☆☆☆

用集合论构建逻辑，看的我头大。硬着头皮读吧。当初买这本书，就是看中了第二章讲了点无穷小分析。

评分☆☆☆☆☆

用集合论构建逻辑，看的我头大。硬着头皮读吧。当初买这本书，就是看中了第二章讲了点无穷小分析。

评分☆☆☆☆☆

今天偶然看到作者的讣告。http://www.ucalgary.ca/rzach/blog/2010/10/herbert-b-enderton-1936-2010.html Sad news: With sadness we report the death on October 20 of Herbert Bruce Enderton, who had been battling leukemia for several months. He was Professor Emer...

评分☆☆☆☆☆

用集合论构建逻辑，看的我头大。硬着头皮读吧。当初买这本书，就是看中了第二章讲了点无穷小分析。

类似图书点击查看全场最低价

数理逻辑 pdf epub mobi txt 电子书下载 2024