书籍简介:

本书是数理逻辑课程的经典教材。

作者介绍:

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

书籍目录:

第0章集合基础

第1章命题逻辑

第2章一阶逻辑

第3章不可判定性

第4章二阶逻辑

附录

内容摘要:

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

书籍规格:

书籍详细信息
书名	数理逻辑站内查询相似图书
丛书名	图灵计算机科学丛书
	9787115143112 《数理逻辑》pdf扫描版电子书已有网友提供资源下载链接,请点击下方按钮查看
出版地	北京	出版单位	人民邮电出版社
版次	1版	印次	1
定价(元)	29.0	语种	简体中文
尺寸	26	装帧	平装
页数	220	印数

全网搜索试读资源

书籍信息归属:

数理逻辑是人民邮电出版社于2006.12出版的中图分类号为 O141 的主题关于数理逻辑－教材的书籍。