《数理逻辑》是2006年人民邮电出版社出版的图书,作者是恩德滕。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。

本页面主要目录有关于数理逻辑的:内容简介、作者简介、图书目录等介绍

作者

恩德滕

字数

44万字

页数

317页

装帧

平装

开本

16

出版时间

2006年1月1日

出版机构

人民邮电出版社

定价

39.00

ISBN

9787115141453

丛书

图灵原版计算机科学系列

内容简介

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

作者简介

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

图书目录

CHAPTER ZERO Useful Facts about Sets 1

CHAPTER ONE Sentential Logic 11

CHAPTER TWO First-Order Logic 67

CHAPTER THREE Undecidability 182

CHAPTER FOUR Second-Order Logic 282

SUGGESTIONS FOR FURTHER READING 307

LIST OF SYMBOLS 309

INDEX