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

数理逻辑:(英文版 · 第2版)
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者: [美]
2006-01
版次: 1
ISBN: 9787115141453
定价: 39.00
装帧: 平装
开本: 其他
纸张: 胶版纸
页数: 317页
字数: 440千字
原版书名: A Mathematical Introduction to Logic, Second Edition
70人买过
  •   本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。本书特点是:内容可读性强;组织结构更灵活,授课教师可根据教学需要节选本书的内容;反映了近几年来理论计算机科学对逻辑学产生的影响;包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。 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
查看详情
相关图书 / 更多
数理逻辑:(英文版 · 第2版)
数理化狂想曲(全3册)
张雯阳光博客 出品
数理逻辑:(英文版 · 第2版)
数理统计理论、应用与软件实现(第2版)
宋爱斌 编
数理逻辑:(英文版 · 第2版)
数理统计及其应用(原书第6版)
[美]理查德·J.拉森(Richard J. Larsen);[美]莫里斯·L.马克斯(Morris L. Marx)
数理逻辑:(英文版 · 第2版)
数理经济学(第二版)21世纪经济与管理规划教材·经济学系列 李晓春 新版
李晓春
数理逻辑:(英文版 · 第2版)
数理化就要这样学 全6册
金永玳
数理逻辑:(英文版 · 第2版)
数理逻辑引论——计算机科学与系统的天然基础
刘志明;裘宗燕
数理逻辑:(英文版 · 第2版)
数理统计学导论(原书第8版)
(美)罗伯特·V.霍格
数理逻辑:(英文版 · 第2版)
数理金融(仅馆配)
作者
数理逻辑:(英文版 · 第2版)
数理统计
谭立云 刘海生
数理逻辑:(英文版 · 第2版)
数理统计教程(第二版)
王兆军 邹长亮 周永道
数理逻辑:(英文版 · 第2版)
数理逻辑引论 第二版
朱梧槚 肖奚安 朱朝晖 周勇
数理逻辑:(英文版 · 第2版)
数理逻辑和算法理论——计算机科学与人工智能的数学基础
袁相碗
您可能感兴趣 / 更多
数理逻辑:(英文版 · 第2版)
宇宙视觉史:从宇宙大爆炸到时间的尽头
[美]查尔斯·刘 著;高爽 译者;[美]马克西姆· 马洛维奇科 绘;未读 出品
数理逻辑:(英文版 · 第2版)
写出我心 普通人如何通过写作表达自己(平装本)
[美]娜塔莉·戈德堡(Natalie Goldberg)
数理逻辑:(英文版 · 第2版)
写出我心3 写作疗愈的真正秘密
[美]娜塔莉·戈德堡(Natalie Goldberg)
数理逻辑:(英文版 · 第2版)
神套路:为什么我们总被带节奏(狂热与网红时代醍醐灌顶之作,教给普通人安身立命的不二法门!)
[美]阿里·阿莫萨维 著;[哥伦比亚]亚历杭德罗·希拉尔多 绘
数理逻辑:(英文版 · 第2版)
阿伦森自传
[美]埃利奥特·阿伦森(Elliot Aronson) 著;沈捷 译;湛庐文化 出品
数理逻辑:(英文版 · 第2版)
街头官僚:公共服务中的个人困境
[美]迈克尔·李普斯基(Michael Lipsky)
数理逻辑:(英文版 · 第2版)
史前至蒙古帝国时期的内欧亚大陆史
[美]大卫·克里斯蒂安 著;潘玲 译;杨建华 校
数理逻辑:(英文版 · 第2版)
意大利文艺复兴新艺术史
[美]迈克尔·韦恩·科尔 著;[美]斯蒂芬·J·坎贝尔;邵亦杨
数理逻辑:(英文版 · 第2版)
老人与海 彩图注音版 一二三四年级5-6-7-8-9岁小学生课外阅读经典 儿童文学无障碍有声伴读世界名著童话故事
[美]海明威
数理逻辑:(英文版 · 第2版)
养育的觉醒:全面激发孩子自驱力,教你如何心平气和做妈妈
[美]凯文·莱曼 著;唐晓璐 译;斯坦威 出品
数理逻辑:(英文版 · 第2版)
自律我也能做到(全9册)
[美]康妮·科维尔·米勒 著;[阿根廷]维多利亚·阿萨纳利 绘
数理逻辑:(英文版 · 第2版)
你在等什么?
[美]斯科特·明钦 著;[中]易万 译;[美]马特 ·斐兰 绘