数理逻辑（第2版）|报价￥26.20|图书,计算机与互联网,计算机科学,计算机理论,恩德滕
点此购买报价￥26.20
目录：图书,计算机与互联网,计算机科学,计算机理论,
品牌：恩德滕
基本信息
·出版社：人民邮电出版社
·页码：240 页码
·出版日：2007年
·ISBN：7115143112
·条码：9787115143112
·版次：2007年3月第1版
·装帧：平装
·开本：16开 16开
内容简介
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑，一阶逻辑，不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强，组织结构更灵活，授课教师可根据数学需要节选本书的内容，反映了近几年来理论计算机科学对逻辑学产生的影响。
作者简介
Herbert B.Enderton，哈佛大学博士，师从著名哲学家Hilary Putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授，该校“逻辑学论坛”主席，曾担任《符号逻辑学会评论》杂志的主编。除本书外，他还著有另外两本广受好评的教材Elements of Set Theory（影印版已经由人民邮电出版社出版）和Linear Algebra。
编辑推荐
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑，一阶逻辑，不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强，组织结构更灵活，授课教师可根据数学需要节选本书的内容，反映了近几年来理论计算机科学对逻辑学产生的影响。
目录
第0章 集合基础
第1章 命题逻辑
第2章 一阶逻辑
第3章 不可判定性
第4章 二阶逻辑
附录
……[看更多目录]
点此购买报价￥26.20
