数理逻辑

数理逻辑

孙希文, 编著

出版社:高等教育出版社

年代:2019

定价:33.8

书籍简介:

本书包含一阶数理逻辑的基本核心内容, 具体包括一阶理论简介、一阶理论的若干定理、一阶理论的特殊问题、形式系统的一般理论、模型论、递归函数和图灵机、哥德尔不完全性定理、递归论等。 可分别作为计算机科学和数学专业的本科生和研究生教材。也可供相关科技工作者参考。

书籍规格:

书籍详细信息
书名数理逻辑站内查询相似图书
9787040513523
如需购买下载《数理逻辑》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位高等教育出版社
版次1版印次1
定价(元)33.8语种简体中文
尺寸24 × 19装帧平装
页数印数 2000

书籍信息归属:

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