数理逻辑(英文版.第2版)-教辅教材-文化科教-太极之巅书单号

书刊介绍

数理逻辑(英文版.第2版) 内容简介

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

数理逻辑(英文版.第2版) 本书特色

“本书内容严密、完整、一致，很好地介绍了逻辑实践……”
——douglas cannon,华盛顿大学
“这本书写作思路清晰缜密。我采用这本书作为教材的原因是，它详细且严密地讲述了谓词演算，详细且极好地讨论了不完备性现象，并且采用伯克利学派开发的标准记号。”
——karel prikr，明尼苏达大学
“本书数学上非常严格，而且示例比其他图书都丰富。因此我已经决定将本书用作教材。”
——sun-joo shin，圣母大学
本书是数理逻辑方面的经典教材，以可读性强而著称，在美国大学中采用率极高，麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活，增加了与计算机科学相关的主题（比如有限模型），还增加了一些示例和阐释文字，更适合本科生和研究生数理逻辑课程使用。

数理逻辑(英文版.第2版) 目录

CHAPTER ZERO Useful Facts about Sets1
CHAPTER ONE Sentential Logic11
1.0Informal Remarks on Formal Languages11
1.1The Language of Sentential Logic13
1.2Truth Assignments20
1.3A Parsing Algorithm29
1.4Induction and Recursion34
1.5Sentential Connectives45
1.6Switching Circuits54
1.7Compactness and Effectiveness59
CHAPTER TWOFirst-Order Logic67
2.0Preliminary Remarks67
2. lFirst-Order Languages69
2.2Truth and Models80
2.3A Parsing Algorithm105
2.4A Deductive Calculus109
2.5Soundness and Completeness Theorems131
2.6Models of Theories147
2.7Interpretations Between Theories164
2.8Nonstandard Analysis173
CHAPTER THREEUndecidability182
3.0Number Theory182
3.1Natural Numbers with Successor187
3.2Other Reducts of Number Theory193
3.3A Subtheory of Number Theory202
3.4Arithmetization of Syntax224
3.5Incompleteness and Undecidability234
3.6Recursive Functions247
3.7Second Incompleteness Theorem266
3.8Representing Exponentiation276
CHAPTER FOURSecond-Order Logic282
4.1Second-Order Languages282
4.2Skolem Functions287
4.3Many-Sorted Logic295
4.4General Structures299
SUGGESTIONS FOR FURTHER READING307
LIST OF SYMBOLS309
INDEX

数理逻辑(英文版.第2版) 节选

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

数理逻辑(英文版.第2版) 作者简介

Herbert B.Enderton 哈佛大学博士，师从著名哲学家Hilary Putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授，该校“逻辑学论坛”主席，曾担任《符号逻辑学会评论》杂志的主编。除本书外，他还著有另外两本广受好评的教材Elements of Set Theory和Linear Algebra。