数理逻辑:(英文版 · 第2版)

数理逻辑
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者: [美]
出版社: 人民邮电出版社
2006-01
版次: 1
ISBN: 9787115141453
定价: 39.00
装帧: 平装
开本: 其他
纸张: 胶版纸
页数: 317页
字数: 440千字
原版书名: A Mathematical Introduction to Logic, Second Edition
  •   本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。本书特点是:内容可读性强;组织结构更灵活,授课教师可根据教学需要节选本书的内容;反映了近几年来理论计算机科学对逻辑学产生的影响;包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。 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
查看详情
好书推荐 / 更多
数理逻辑
侧看成峰:葛兆光海外学术论著评论集(精)
葛兆光 著
数理逻辑
病床边的陌生人:法律与生命伦理学塑造医学决策的历史
Rothman 著;[美]戴维·J.罗思曼(David、J.、潘驿炜 译
数理逻辑
甲骨文丛书·恐惧与自由:第二次世界大战如何改变了我们
基思·罗威(Keith Lowe) 著;朱邦芊 译
数理逻辑
果麦经典:平面国(数学界的超级文化符号,《三体》二向箔的灵感来源,理解维度概念的绝佳途径。)
鲁冬旭 译者;果麦文化 出品;埃德温·A·艾勃特
数理逻辑
天生有罪: 特雷弗·诺亚的变色人生(精装珍藏版)
[南非]特雷弗·诺亚 著;董帅 译;未读 出品
数理逻辑
《末代沙皇:罗曼诺夫王朝的覆灭》(再现末代沙皇的真实面孔与罗曼诺夫王朝的命运终章)
道洛什·久尔吉 著;何剑 译
数理逻辑
版本与目录
辛德勇
数理逻辑
生死有时:美国医院如何形塑死亡
[美]莎伦·考夫曼 著 ;初丽岩;王清伟
数理逻辑
带着花椒去上朝:古杀十九式
马陈兵
数理逻辑
与自然和谐:低碳社会的环境观
[日]稻盛和夫 著;陈琳珊 译
数理逻辑
5G机会:5G将带来哪些机会,如何把握?
项立刚 著
数理逻辑
胆小鬼俱乐部:为什么美国司法部治不了大公司高管
[美]杰西·艾辛格 著;崔松 译