数理逻辑
暂无封面,等待上传

数理逻辑

毕富生, 著

出版社:高等教育出版社

年代:2003

定价:

书籍简介:

本书是国内介绍数理逻辑基本知识的最新读本。著者针对文科学生学习数理逻辑所遇到的困难,尽可能结合传统逻辑来介绍数理逻辑的基础知识,着重介绍逻辑演算的部分内容;对其中的自然推理系统做了详细介绍,对公理系统仅做一般性介绍;力求以较为通俗的语言来阐述数理逻辑的基本原理和符号表达公式,并编配了练习题,具有较强的针对性和可读性。本书主要适用于高等院校文科本专科等非数学专业的文化素质教学,也是自学者的简明读本。

书籍规格:

书籍详细信息
书名数理逻辑站内查询相似图书
9787040137989
《数理逻辑》pdf扫描版电子书已有网友提供资源下载链接,请点击下方按钮查看
出版地北京出版单位高等教育出版社
版次1版印次1
定价(元)语种简体中文
尺寸20装帧平装
页数印数 3000
全网搜索试读资源

书籍信息归属:

数理逻辑是高等教育出版社于2004.01出版的中图分类号为 O141 的主题关于 数理逻辑-高等学校-教材 的书籍。