数理逻辑：（英文版 · 第2版）

数理逻辑：（英文版 · 第2版）

分享

作者: [美] Herbert B. Enderton 著

出版社: 人民邮电出版社

出版时间: 2006-01

版次: 1

ISBN: 9787115141453

定价: 39.00

装帧: 平装

开本: 其他

纸张: 胶版纸

页数: 317页

字数: 440千字

原版书名: A Mathematical Introduction to Logic, Second Edition

分类: 教材教辅考试>教材>大学教材>工程技术

73人买过

　　本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。 Herbert B.Enderton 哈佛大学博士，师从著名哲学家Hilary Putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授，该校“逻辑学论坛”主席，曾担任《符号逻辑学会评论》杂志的主编。除本书外，他还著有另外两本广受好评的教材Elements of Set Theor CHAPTER ZERO Useful Facts about Sets　1

CHAPTER ONE Sentential Logic　11

1.0　Informal Remarks on Formal Languages　11

1.1　The Language of Sentential Logic　13

1.2　Truth Assignments　20

1.3　A Parsing Algorithm　29

1.4　Induction and Recursion　34

1.5　Sentential Connectives　45

1.6　Switching Circuits　54

1.7　Compactness and Effectiveness　59

CHAPTER TWO　First-Order Logic　67

2.0　Preliminary Remarks　67

2. l　First-Order Languages　69

2.2　Truth and Models　80

2.3　A Parsing Algorithm　105

2.4　A Deductive Calculus　109

2.5　Soundness and Completeness Theorems　131

2.6　Models of Theories　147

2.7　Interpretations Between Theories　164

2.8　Nonstandard Analysis　173

CHAPTER THREE　Undecidability　182

3.0　Number Theory　182

3.1　Natural Numbers with Successor　187

3.2　Other Reducts of Number Theory　193

3.3　A Subtheory of Number Theory　202

3.4　Arithmetization of Syntax　224

3.5　Incompleteness and Undecidability　234

3.6　Recursive Functions　247

3.7　Second Incompleteness Theorem　266

3.8　Representing Exponentiation　276

CHAPTER FOUR　Second-Order Logic　282

4.1　Second-Order Languages　282

4.2　Skolem Functions　287

4.3　Many-Sorted Logic　295

4.4　General Structures　299

SUGGESTIONS FOR FURTHER READING　307

LIST OF SYMBOLS　309

INDEX
内容简介:
　　本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。
作者简介:
Herbert B.Enderton 哈佛大学博士，师从著名哲学家Hilary Putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授，该校“逻辑学论坛”主席，曾担任《符号逻辑学会评论》杂志的主编。除本书外，他还著有另外两本广受好评的教材Elements of Set Theor
目录:
CHAPTER ZERO Useful Facts about Sets　1

CHAPTER ONE Sentential Logic　11

1.0　Informal Remarks on Formal Languages　11

1.1　The Language of Sentential Logic　13

1.2　Truth Assignments　20

1.3　A Parsing Algorithm　29

1.4　Induction and Recursion　34

1.5　Sentential Connectives　45

1.6　Switching Circuits　54

1.7　Compactness and Effectiveness　59

CHAPTER TWO　First-Order Logic　67

2.0　Preliminary Remarks　67

2. l　First-Order Languages　69

2.2　Truth and Models　80

2.3　A Parsing Algorithm　105

2.4　A Deductive Calculus　109

2.5　Soundness and Completeness Theorems　131

2.6　Models of Theories　147

2.7　Interpretations Between Theories　164

2.8　Nonstandard Analysis　173

CHAPTER THREE　Undecidability　182

3.0　Number Theory　182

3.1　Natural Numbers with Successor　187

3.2　Other Reducts of Number Theory　193

3.3　A Subtheory of Number Theory　202

3.4　Arithmetization of Syntax　224

3.5　Incompleteness and Undecidability　234

3.6　Recursive Functions　247

3.7　Second Incompleteness Theorem　266

3.8　Representing Exponentiation　276

CHAPTER FOUR　Second-Order Logic　282

4.1　Second-Order Languages　282

4.2　Skolem Functions　287

4.3　Many-Sorted Logic　295

4.4　General Structures　299

SUGGESTIONS FOR FURTHER READING　307

LIST OF SYMBOLS　309

INDEX

查看详情

相关分类

一年级二年级三年级四年级五年级六年级小升初小学通用初一初二初三中考初中通用高一高二高三

16条
|
综合排序
最新上架
店铺
价格从高到低（不含运费）

总价从低到高总价从高到低价格从低到高（不含运费）价格从高到低（不含运费）
八品以上

全新九五品以上九品以上八五品以上八品以上七品以上六品以上五品以上四品及以下全部品相
只看全新
不同品相有何区别

数理逻辑：（英文版 · 第2版）正版书籍-封膜藏书-好品书籍-下单当天发货

九五品

勍YY的书店

广东省中山市

平均发货45小时成功完成率62.5%

￥326.00

券

100减20

立即购买加入购物车
数理逻辑：（英文版 · 第2版）

九品

小廖医学书库

广东省广州市

平均发货12小时成功完成率78.52%

￥200.00

券

100减20

立即购买加入购物车
数理逻辑：（英文版 · 第2版） 200

九品

书友kw1781128的书摊

广东省广州市

平均发货17小时

￥200.00

券

100减20

立即购买加入购物车
数理逻辑：（英文版 · 第2版）

九五品

书遇你

北京市西城区

平均发货17小时成功完成率86.64%

￥169.00

券

100减20

立即购买加入购物车
数理逻辑人民邮电出版社数理逻辑：（英文版 · 第2版）

九品

旧书济南

山东省济南市

平均发货13小时成功完成率95.53%

￥168.00

券

100减20

立即购买加入购物车
数理逻辑：（英文版 · 第2版）【全】自然老旧(泛黄),少量画线或笔记

八品

极地图书

四川省成都市

平均发货6小时成功完成率94.54%

￥164.80

券

100减20

立即购买加入购物车
数理逻辑：（英文版 · 第2版）内页干净正版现货实拍如图

九品

中书店

湖南省长沙市

平均发货10小时成功完成率97.33%

￥150.00

券

100减20

立即购买加入购物车不属于本条目
数理逻辑：（英文版 · 第2版）

九五品

择一的书摊

北京市朝阳区

平均发货11小时成功完成率93.55%

￥138.00

券

100减20

立即购买加入购物车
数理逻辑：（英文版 · 第2版） 130

九品

书友kw1781128的书摊

广东省广州市

平均发货17小时

￥130.00

券

100减20

立即购买加入购物车
数理逻辑（英文版 · 第2版）无笔画字迹

九品

莉森书店

江西省南昌市

平均发货19小时成功完成率97.06%

￥129.00

券

100减20

立即购买加入购物车
数理逻辑：（英文版 · 第2版）

八五品

翰林旧书

山东省菏泽市

平均发货7小时成功完成率97.13%

￥128.00

券

100减20

立即购买加入购物车
数理逻辑：（英文版 · 第2版）

九品

时-非的书摊

河南省许昌市

平均发货12小时成功完成率100%

￥128.00

券

100减20

立即购买加入购物车不属于本条目
数理逻辑：英文版·第2版/图灵原版计算机科学系列

八五品

墨紫轩图书的书店

湖北省咸宁市

平均发货15小时成功完成率92.21%

￥118.00

券

100减20

立即购买加入购物车不属于本条目
数理逻辑：（英文版 · 第2版）版现货内页干净，封底一处翘角。先浏览实拍照片后下单！

九品

手上书店

上海市宝山区

平均发货2小时成功完成率97.25%

￥118.00

券

100减20

立即购买加入购物车
数理逻辑（英文版 · 第2版）正版旧书当天发货，图片都是实物拍照，书籍8-9成新

九品

禅城书苑

广东省佛山市

平均发货7小时成功完成率95.16%

￥110.00

券

100减20

立即购买加入购物车
数理逻辑：（英文版 · 第2版）

八五品

齐天书店

北京市昌平区

平均发货11小时成功完成率96%

￥108.00

券

100减20

立即购买加入购物车不属于本条目